No more segfaults and parameters seem to be passed to backwards() correctly
Traversing the predecessor list better now
set generation now seems to be working
Removal of redudant instructions

Doesn't check for subsumed, just identical.
I'm not sure where busy checks come into play yet...