method contract in template specialization class unimplemented (#881) · Issues · pub / frama-c