(** Checker looking for the dead ends in the source. A dead end is a state where the user does not have any action. *) include S.Analyzer
