Function lower_bound_from_branch 

fn lower_bound_from_branch(
    comparison: ComparisonFact,
    branch_value: u128,
    copy_sources: &FxHashMap<Local, Local>,
) -> Option<(Local, i128)>

Infer a local lower bound from taking one boolean branch of a comparison.