- Take the branch set by SETJT and SETD after its delay slot executes
- Make the delayed branch state conditional under symbolic conditions
so the pc forks after the slot
- Check returns and automerge jumps after their delay slot
- Add a mips test for calls, branches and returns with delay slots