raw implementation of #define_additional_atoms_variable