public AphidObject CallStaticInteropFunction([PexAssumeUnderTest] AphidInterpreter target, CallExpression callExpression) { AphidObject result = target.CallStaticInteropFunction(callExpression); return(result); // TODO: add assertions to method AphidInterpreterTest.CallStaticInteropFunction(AphidInterpreter, CallExpression) }