let is_universal (var: var) : bool =
  not (is_parametric var)