use the callgraph construction to mark the downrecursion

whenever an application is marked as a potential downrecursion, the
continuation is inspected. if the next to-be-executed ast comes from the
same function, the call is non-tail-recursive. Then that AST from the
continuation is marked as should_enter.