add rules necessary for AxpressTestCase.testDiverge