Predicate MissedReadonlyOpportunity::canBeReadonly

predicate canBeReadonly(Field f)