a comment
stackless implementation
draft prototype of smart reducibility detection via FDSTree
handling the case of dead code