let solve i =
  Trace.func "rule" "Solve" Fact.pp_equal (Pretty.list Fact.pp_equal)
    (Array.get solvers i)