delete globals and specQuals from Constraint environment