sig
  val lastStat : Types.generic_stat_loc
  val analyseProgram :
    Types.loc * (Types.global_statement * Types.loc) list -> unit
end