let inc_subsume (statistic: statistic) : unit =
  inc statistic ID_SUBSUME