CheckGuard now uses the proper guard
Fix lex.jj