introduces If.hasElse and Return.hasExpr