New testcase, allow folding of binary operators that use PHI nodes, as long