Predicate RemoveTypeMismatch::containerModification

predicate containerModification(string package, string type, int p, string signature, int i)