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