let add_s s acc =
(* we add only 'simple' statements *)
match s.skind with
| Instr _ | Return _ | Continue _ | Break _ | Goto _
-> Stmt.Set.add s acc
| Block _ | Switch _ | If _ | UnspecifiedSequence _ | Loop _
| TryExcept _ | TryFinally _
-> acc