transitions with pc: testcase that should yield terrible overapprox without pc