Uses of Interface
org.xcsp.common.FunctionalInterfaces.Intx3ToDomSymbolic