let backtracking_depends_on (dependent: choice_point) (base: choice_point) : bool =
  compare_age base dependent <= 0