fixes #1693
Add alias/implication order