Member predicate Method::isNew

Holds if the method does not override an existing method.

predicate isNew()