untested implementation of execution tracking without breaking tail recursion
small typo fixed