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