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