String temp = parser.generateName();
Expr value = Expr.var(left.getPosition(), false, temp, left);
Expr truthCheck = Expr.call(left.getPosition(), value, Name.IS_TRUE);
List<MatchCase> cases = new ArrayList<MatchCase>();
cases.add(new MatchCase(Pattern.value(Expr.bool(true)), Expr.name(temp)));
cases.add(new MatchCase(right));
return Expr.match(left.getPosition().union(right.getPosition()),
truthCheck, cases);
}