estimated_level : 0..TANK_CAPACITY &
estimated_consumption : 0 ..MAX_CONSUMPTION &
(estimated_level <= WARNING_CAPACITY => status = LOW_LEVEL)
estimated_consumption := 0 ||
estimated_level, status :(
estimated_level: 0..TANK_CAPACITY &
(estimated_level <= WARNING_CAPACITY => status = LOW_LEVEL))
estimated_level, estimated_consumption, status :(
estimated_level: 0..TANK_CAPACITY &
estimated_consumption : 0..MAX_CONSUMPTION &
(estimated_level <= estimated_level$0) &
(estimated_level <= WARNING_CAPACITY => status = LOW_LEVEL))