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