1) Started to add greedy variables
2) Fixed a bug where state was not cleaned up properly after failed unify
3) Added unit test above mentioned bug