Alias.Analysis
val compute : unit -> unit
see file analysis.mli for documentation
val clear : unit -> unit