method private queue_stmt_spec _kf spec =
    let stmt = Extlib.the (self#current_stmt)
    in
    Queue.add
      (fun () ->
        let annot =
          Logic_const.new_code_annotation (AStmtSpec (*stmt_*)spec)
        in
        Annotations.add
          stmt
          [ precond_dep_state ]
          (Db_types.Before (Db_types.User annot))
      ) self#get_filling_actions