let is_empty subst =
  subst == empty