Use ListOfLists for atom to constraint mapping