Hi, I have finished the first semantic error checking phase and have some nice things report about tree pattern matchers: http://www.antlr.org/wiki/display/~admin/Enforcing+semantics Ter