let print univ fmt i = CudfAdd.pp_package fmt (CudfAdd.inttovar univ i)