public AphidObject CallInteropFunction( [PexAssumeUnderTest] AphidInterpreter target, AphidExpression callExpression, AphidInteropMethodInfo methodInfo, AphidInteropMember interopMembers ) { AphidObject result = target.CallInteropFunction(callExpression, methodInfo, interopMembers); return(result); // TODO: add assertions to method AphidInterpreterTest.CallInteropFunction(AphidInterpreter, AphidExpression, AphidInteropMethodInfo, AphidInteropMember) }