Function constrain_boolean_outcome 

fn constrain_boolean_outcome(
    gcx: Gcx<'_>,
    expr: &Expr<'_>,
    outcome: bool,
    state: &mut FlowState,
) -> bool

Records in state that expr evaluated to outcome; returns false if that is impossible.