maudePB.waitUntilFinish();
assertTrue("Module loaded without errors.", !mj.isFailed() && mj.getOut().length() == 0);
mj = maudePB.createAndRunJobs("red s(s(0)) + s(0) .\n").get(0);
mj.waitUntilFinish();
assertTrue("Operation executed correctly.", !mj.isFailed() && mj.getOut().length() > 0);
assertTrue("Check num. rewrites.", mj.getRewrites() == 3);
assertTrue("Last module.", mj.getActiveModule().equals("PEANO-NAT-EXTRA"));
assertTrue("Correct result", mj.getResult().equals("s^3(0)"));