Step	Lower Bound	Upper Bound
original eqn
eliminate
eliminate
eliminate M		8

Since 0 lies in between and 8, extreme value test assumes there is a dependency.

• To determine kind and direction of dependence, apply direction vector constraint
• First apply constraint.
  In integer domain , this becomes
  Also,
  Therefore,

• Extreme value method can use only one bound
• Only one of the upper bounds of and lower bound of can be used