Added existential atoms' management.