Refactored code and wrote most of the code generator
Cleaned up s.pushedBy (its a list now)
Added successor state finding code