Member predicate Parameter::isOverwritten
Holds if this parameter is potentially overwritten in the body of its callable.
predicate isOverwritten()Holds if this parameter is potentially overwritten in the body of its callable.
predicate isOverwritten()