CSaveEnv is a special constraint that indicates that the current environment should be saved for later use. (/\) now optimizes away arguments that are already CTrue.