add more more spec-compiler.jj