public AphidObject InterpretStream([PexAssumeUnderTest] AphidInterpreter target, string code) { AphidObject result = target.InterpretStream(code); return(result); // TODO: add assertions to method AphidInterpreterTest.InterpretStream(AphidInterpreter, String) }