public AphidObject WrapInteropValue([PexAssumeUnderTest] AphidInterpreter target, object value) { AphidObject result = target.WrapInteropValue(value); return(result); // TODO: add assertions to method AphidInterpreterTest.WrapInteropValue(AphidInterpreter, Object) }