+ CodeWriter thenBlock = w.createBlock();\r
+ if(else_ != null) {\r
+ CodeWriter elseBlock = w.createBlock(); \r
+ w.if_(conditionVal, thenBlock.getContinuation(), elseBlock.getContinuation());\r
+ \r
+ IVal elseVal = else_.toVal(env, elseBlock);\r
+ elseBlock.jump(joinPoint.getContinuation(), elseVal);\r
+ }\r
+ else {\r
+ w.if_(conditionVal, thenBlock.getContinuation(), joinPoint.getContinuation());\r
+ }\r