strengthened solve_decision ltac

Closed Abhishek Anand requested to merge aa755/stdpp:aa755-master-patch-77362 into master

Merge request reports