exchanging the constraints leads to better performance

Previously, for N=12:

   % 1,465,971,759 inferences, 611.810 CPU
   ERROR: Out of global stack

Now:

   len_num(12, 676277910000).
   % 1,020,537,891 inferences, 220.327 CPU