ERROR: The program violates the atom-restriction.