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