Fuzz test ATN<->GRAMMAR