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