Basic working implementation of general procedure call rule. Two examples added which demonstrate the rule: recursive programs to deallocate and flip a binary tree.
Merge branch 'master' of https://github.com/ngorogiannis/cyclist