Member predicate Parameter::isOverwritten

Holds if this parameter is potentially overwritten in the body of its callable.