Reject (mutually) recursive functions remaining after normalization