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