Goal:
  
  A : Type
  H : ReflectEq A
  eos : CoreTactics.end_of_section
  fix_0 : ∀ l1 l2 : list A, split_prefix_graph l1 l2 (split_prefix l1 l2)
  ============================
   (∀ l1 l2 : list A, split_prefix_graph l1 l2 (split_prefix l1 l2))


DEBUG:Going to execute:
specialize_mutfix
DEBUG LTAC Evaluated term: CoreTactics.the_end_of_the_section