(match ast with
GrafiteParser.LNone _ ->
watch_statuses lexicon_status grafite_status ;
loop lexicon_status grafite_status
(((grafite_status,lexicon_status),None)::statuses)
| GrafiteParser.LSome ast ->
(match ast with
GrafiteParser.LNone _ ->
watch_statuses lexicon_status grafite_status ;
loop lexicon_status grafite_status
(((grafite_status,lexicon_status),None)::statuses)
| GrafiteParser.LSome ast ->