RecTopoSort working, termination proved for simple test, but not factorial or limit.