case EQ: // X = C
return new PropEqualXC(var, cste);
case NQ: // X =/= C
return new PropNotEqualXC(var, cste);
case GE: // X >= C
return new PropGreaterOrEqualXC(var, cste);
case GT: // X > C --> X >= C + 1
return new PropGreaterOrEqualXC(var, cste + 1);
case LE: // X <= C
return new PropLessOrEqualXC(var, cste);
case LT: // X < C --> X <= C - 1
return new PropLessOrEqualXC(var, cste - 1);
default: