Add some more synonyms of [apD10_path_forall] for rewriting
Merge pull request #293 from JasonGross/ap10-path-forall

Add some more synonyms of [apD10_path_forall] for rewriting