mathlib3

feat(tactic/solve_by_elim): add accept parameter to prune tree search

#2245

Merged