CristalCaveGem » LustreC

      let expr = substitute_expr diff_vars split_defs eq.eq_rhs in

      let pair = mkeexpr expr.expr_loc (mkexpr expr.expr_loc (Expr_tuple [expr_of_ident v.var_id expr.expr_loc; expr])) in

      (["horn_backend";"trace"], pair)

    annot_loc = Location.dummy_loc

  }