Implicit casting from integer to real causes failure in WP proof generation (#413) · Issues · pub / frama-c