If no inclusion is specified for a variable in the environment, its value is no constrained in the resulting abstract value.