First tentative of compilation of the traverser. MatchError, some
cases not covered.