Goal:
    H : bool
  ============================
   (nth_error ?list_all (if H then 0 else 1) = Some H)


DEBUG:Going to execute:
case t

Goals:
    H : bool
  ============================
   (nth_error ?list_all 0 = Some true)

    H : bool
  ============================
   (nth_error ?list_all 1 = Some false)


DEBUG:Going to execute:
clear t
DEBUG LTAC Evaluated term: H