Grammar checking Check PEG and left recursion rules for right order. E <- ('a' / 'aa') 'b' E <- 'a' / E 'a' Left factorization Runtime capture Add commit and revert functions (for creating tables via Cmt). Rule profiling Performance tests