public void RegisterIpcServer([PexAssumeUnderTest] AphidInterpreter target) { target.RegisterIpcServer(); // TODO: add assertions to method AphidInterpreterTest.RegisterIpcServer(AphidInterpreter) }