add orify adn orifi
add mutualRecursion, mutualRecursion_test
add flat, flat_test