TermTable Singleton and order atom in rule