Added if-conversion test that results in an output mismatch.