Uses of Interface
org.xcsp.common.IVar.VarSymbolic