Characteristic predicate NonFinalImmutableField::AnyAssignment::AnyAssignment

AnyAssignment()