JCHSSA
val make_ssa : CHLanguage.procedure_int -> CHLanguage.cfg_int -> JCHDominance.dominance_info_t -> CHLanguage.procedure_int * JCHTransformUtils.alias_sets_t * CHUtils.VariableCollections.set_t CHUtils.IntCollections.table_t CHUtils.VariableCollections.table_t