strange warning "postcondition got status invalid" (#1152) · Issues · pub / frama-c