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:
repeat specialize_mutual