Hax_engine.Analyses
module Function_dependency = Function_dependency.Make
module Mutable_variables = Mutable_variables.Make