Mutual recursion and NO_TERMINATION_CHECK
Merge branch 'EJCP' into EJCP-solutions