Member predicate Member::Field::isFinal

Holds if this element has a final modifier or is implicitly final.

predicate isFinal()