let get_subsume (statistic: statistic) : int =
  get statistic ID_SUBSUME