Revert commit that inverted the preference for FFlex/FProj problems in
kernel reduction.
Fix dummy argument use in guess_elim: there are some cases where X_ind
is not defined while X_rect is, for example in HoTT/Coq.