Control flow from short circuited conditions is not properly recognized.

[JustusAdam]

In this test case the desugaring rustc performs on the AST means that no influence from source() to read_t() is recognized

fn control_flow_tracking_for_compound_cond_with_fun() {
    let a_val = new_s();
    if source() > 8 && input() < 9 {
        read_t(&a_val);
    }
}