Function compatible_exec 

fn compatible_exec(
    s1: &TxnState,
    g1: bool,
    b1: bool,
    s2: &TxnState,
    g2: bool,
    b2: bool,
) -> bool