public AphidIpcContext CreateIpcClientContext([PexAssumeUnderTest] AphidInterpreter target) { AphidIpcContext result = target.CreateIpcClientContext(); return(result); // TODO: add assertions to method AphidInterpreterTest.CreateIpcClientContext(AphidInterpreter) }