name in contract should refer to logic function, if defined, even in presence of homonymous C++ method (#901) · Issues · pub / frama-c