let compute_abstract file root (considerAcceptance:bool) =
  let visitor = new visit_computing_abstract_pre_post_from_buch (Data_for_ltl.getAutomata()) (root) considerAcceptance in
    Cil.visitCilFile (visitor :> Cil.cilVisitor) file