added an exists case for constraint generation