let is_parametric (var: var) : bool =
  (var land parameter_bit) != 0