let pp_range fmt = function
    | Block -> Format.fprintf fmt "-"
    | Index k -> Format.fprintf fmt "[%a]" F.pp_term k
    | Range(a,b) -> Format.fprintf fmt "[%a:%a]" F.pp_term a F.pp_term b