let is_top x = equal top x