@Test
    public void testParseInvalidPredicateName() throws Exception {
        Parser parser = new Parser();
        try {
            parser.parsePredicate("father*of(P, C)");
            fail("This predicate contains invalid characters in the name.");
        } catch (ParseException ex) {
            // Expected exception
        }
    }