let reprs =
        List.map
          (fun v -> v, SlicingInternals.dummy_t_fct_user_crit)
          Cil_datatype.Varinfo.reprs