fix a bug (using is_axiom before axiom_of_recipe even with try.. with)