public AphidRuntimeException CreateValueException( [PexAssumeUnderTest] AphidInterpreter target, object obj, string message, object[] args ) { AphidRuntimeException result = target.CreateValueException(obj, message, args); return(result); // TODO: add assertions to method AphidInterpreterTest.CreateValueException(AphidInterpreter, Object, String, Object[]) }