let cmp_pureness (first: pureness) (second: pureness) : int =
  if is_universal first == is_universal second then
    0
  else if is_universal first then
    -1
  else
    1