[BUG] Constant propagation

[hernanponcedeleon]

The following benchmark shows there is a problem with constant propagation

❯ java -jar dartagnan/target/dartagnan-3.0.0.jar cat/svcomp.cat ../sv-benchmarks/c/pthread-divine/ring_1w1r-2.c --method=assume --bound=2
FAIL
❯ java -jar dartagnan/target/dartagnan-3.0.0.jar cat/svcomp.cat ../sv-benchmarks/c/pthread-divine/ring_1w1r-2.c --method=assume --bound=2 --program.processing.constantPropagation=false
UNKNOWN

but I still could not identify where exactly is the problem.