(** Checker looking for the dead ends in the source. 

    A dead end is a state where the user does not have any action.
 *)

include Qsp_syntax.S.Analyzer