add another cfg and update grammar hygiene code.