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