Member predicate Parameter::isSelf

Holds if this parameter is the first parameter of a method. It is not necessarily called “self”

predicate isSelf()