SRC +=  src/proof/live/liveness.c \
    src/proof/live/liveness_sim.c \
    src/proof/live/ltl_parser.c \
    src/proof/live/kliveness.c \
    src/proof/live/monotone.c \
    src/proof/live/disjunctiveMonotone.c \
    src/proof/live/arenaViolation.c \
    src/proof/live/kLiveConstraints.c \
    src/proof/live/combination.c