#open "aintv";;

exception Analyse;;

value analyse_de_necessite :
  prog -> prog;;