Revert "fixed populatetable, added evaluate case, added successor"

This reverts commit da451855a21aa429757f81ac9e1af4d0ffcda5b8.
Revert "Added variable bindings"

This reverts commit 51c7e38c1701b286ed1d02997aadf67ab522ea5c.