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