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)
 }