Mutual recursion and NO_TERMINATION_CHECK