consider_remaining_unif_problems respects Conv_oracle
Fix test-suite 2255.v
Evarconv: exact_ise_stack looks to stack head before bodies or branches

the order of the inspection is a "random" choise but going back to the old
behavior makes the compilation of ssreflect/rat.v 5 times faster ...