exit confirm and BNF elements highlight