} catch (Exception e_1) {
boolean _and = false;
if (!(leftType instanceof IntType)) {
_and = false;
} else {
<BUG>_and = ((leftType instanceof IntType) && (rightType instanceof IntType));
}</BUG>
if (!_and) {
sneakyThrowRuleFailedException("leftType instanceof IntType && rightType instanceof IntType");
}

} catch (Exception e_1) {
boolean _and = false;
if (!(leftType instanceof IntType)) {
_and = false;
} else {
_and = (rightType instanceof IntType);
}
if (!_and) {
sneakyThrowRuleFailedException("leftType instanceof IntType && rightType instanceof IntType");
}
