CristalCaveGem » LustreC

	mashup_appl_dependencies f e g

    | Expr_appl (f, e, Some (r, _)) ->

      mashup_appl_dependencies f e (add_var lhs_is_mem lhs r g)

  in

  let g =

    List.fold_left

      | Expr_arrow (e1,e2) -> ESet.union (get_expr_calls prednode e1) (get_expr_calls prednode e2)

      | Expr_ite   (c, t, e) -> ESet.union (get_expr_calls prednode c) (ESet.union (get_expr_calls prednode t) (get_expr_calls prednode e))

      | Expr_pre e 

      | Expr_appl (id,e, _) ->

	if not (Basic_library.is_internal_fun id) && prednode id

	then ESet.add expr (get_expr_calls prednode e)

  module Cycles = Graph.Components.Make (IdentDepGraph)

  let mk_copy_var n id =

  let mk_copy_eq n var =

    let cp_var = mk_copy_var n var in

    let expr =

      { expr_tag = Utils.new_tag ();