strengthened solve_decision ltac

2 jobs for !295 with aa755-master-patch-77362 in 9 minutes and 39 seconds (queued for 9 seconds)
latest merge request