fix error message on unsatisfiable properties, some strings were not atomic