Predicate ContainsTypeMismatch::containerAccess

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