Improved code generation for &&