Nested and mutual recursion tests. Fix to missing elimination of alien subterms prior to term abduction.