(** 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.Analyzer.T with type ex = Qsp_syntax.Identifier.t