public void AddTest <T>([PexAssumeUnderTest] PrototypeManager <T> target, T proto) where T : IPrototypable { target.Add(proto); // TODO: add assertions to method PrototypeManagerTTest.AddTest(PrototypeManager`1<!!0>, !!0) }