insertion of "assert true" after a statement influences provability of the statement's contract (#511) · Issues · pub / frama-c