SRC += src/proof/int2/int2Bmc.c \ src/proof/int2/int2Core.c \ src/proof/int2/int2Refine.c \ src/proof/int2/int2Util.c