It may happen that we can no longer find the callee with the orignal type, because it was updated
@@ -1262,6 +1262,7 @@ class MethodStatement(ParametrizedStatement):
if randomness.next_float() < p_per_param:
callee = self.callee
objects = self.test_case.get_objects(callee.type, self.get_position())
+ if callee in objects:
objects.remove(callee)
if len(objects) > 0:
