Introduce aux atom also for atoms with one definition (?!?)