new testcase that condprop should handle. The PHI node becomes useless