Dear all,

recently I detected the following unexpected behavior: I produced the attached files initial.ll and weaker.ll and invoked clam.py with options --crab-check=assert --crab-dom=int --crab-track=mem --crab-backward on these files. Clam's output for the file initial.ll is

************** ANALYSIS RESULTS ****************
2 Number of total safe checks
0 Number of total error checks
55 Number of total warning checks
************** ANALYSIS RESULTS END*************

For the file weaker.ll it outputs:

************** ANALYSIS RESULTS ****************
10 Number of total safe checks
0 Number of total error checks
47 Number of total warning checks
************** ANALYSIS RESULTS END*************
This is unexpected as the only difference between initial.ll and weaker.ll is line 1111 where in weaker.ll we change the assumption to "assume(true)" and we we would therefore not expect weaker.ll to have less warnings than initial.ll.
The results were produced working on commit 75f8f50.
files.zip