Optimized code for visiting then/else statements