push/pop operations on branches
A reset function.
Dynamic SSA tracing.
Output DSSA.
Test case outputs DSSA.
Need a stack of cursors after all...