transitions with pc: changing the interface of successor to include the pc; compiled with -1 where pc does not exist. These look like irrelevant code paths