method private queue_stmt_spec spec_list =
    match spec_list with
      | [] -> ()
      | _ ->
          let stmt = Extlib.the (self#current_stmt)
          in
            Queue.add
              (fun () ->
                 List.iter
                   (fun spec ->
                      let annot =
                        Logic_const.new_code_annotation (AStmtSpec spec)
                      in
                        Annotations.add
                          stmt
                          [ precond_dep_state ]
                          (Db_types.Before (Db_types.User annot))
                   ) spec_list
              ) self#get_filling_actions