Block decomposition: fix computation of recursive variables with mfs>0

Within a block, if mfs>0, the recursive variables would not appear in recursive
order. This could lead to wrong results in case of dependency relationships
between recursive variables.