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