abstract debugging and count recursion depth