@Test
  public void testUnicodeIdentifiers2() {
    try {
      parseInput("context UnicodeIdentifiers2 constants \u00dcber @ end", false);
      fail("Expecting exception");
    } catch (final BException e) {
      final Exception cause = e.getCause();

      assertTrue(
          "Unexpected cause: " + e.getCause() + " - " + e.getLocalizedMessage(),
          cause instanceof EventBParseException);
      assertTrue(
          "Unexpected token: "
              + ((EventBParseException) cause).getToken().getClass().getSimpleName()
              + " - "
              + e.getLocalizedMessage(),
          ((EventBParseException) cause).getToken() instanceof TAt);
    }
  }
  @Test
  public void testMissingAtMessage() {
    try {
      parseInput("context MissingAtMessage axioms blub x:=1 end", false);
      fail("Expecting exception");
    } catch (final BException e) {
      final Exception cause = e.getCause();

      assertTrue(
          "Unexpected cause: " + e.getCause() + " - " + e.getLocalizedMessage(),
          cause instanceof EventBParseException);

      final EventBParseException exception = (EventBParseException) cause;
      assertTrue("Message missing @", exception.getMessage().contains("@"));
    }
  }