WIP
Add some more synonyms of [apD10_path_forall] for rewriting
WIP