Uses of Class
org.xcsp.parser.loaders.CtrLoaderInteger