SET
  VariableId = set(unum) /* SATIrE predefined type */
  VarSet      = set(VariableId)
  VarLabPair  = VariableId * snum

DOMAIN
  VarLabPairSet = set(VarLabPair)
  VarLabPairSetLifted = lift(VarLabPairSet)