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