added a constraint to detect misconfigurations