Assert.assertEquals(M_a_alpha.arity(),2);
Assert.assertEquals(M_a_alpha.getNumberOfTerminalSequences(),2);
Assert.assertFalse(M_a_alpha.startsWithNonterminal());
Assert.assertFalse(M_a_alpha.secondTokenIsTerminal());
Assert.assertTrue(M_a_alpha.endsWithNonterminal());
Assert.assertFalse(M_a_alpha.endsWithTwoTerminals());
Assert.assertFalse(M_a_alpha.isEmpty());
Assert.assertEquals(M_a_alpha.getFirstTerminalIndex(0), 25);
Assert.assertEquals(M_a_alpha.getFirstTerminalIndex(1), 27);
Assert.assertEquals(M_a_alpha.getLastTerminalIndex(0), 30+1);
Assert.assertEquals(M_a_alpha.getLastTerminalIndex(1), 30+1);