let doGuard stmt exp t = 
    let not_exp = new_exp (UnOp(LNot, exp, intType)) in
    let thel = 
      doGuardOneCond stmt exp t, doGuardOneCond stmt not_exp t 
    in
    Separate.filter_if stmt thel