Glitch in term_factorized/3, stack overflow

[j4n_bur53]

Whats the performance of the various factorize that we now have?
My only performance test so far was this:

@j4n_bur53

/* using term_factorized/3 */
?- X = X-0-9-5-4-2, Y = Y-7-5-2,
    time((between(1,10000,_), rep_compare(_,X,Y), fail; true)).
% 4,149,998 inferences, 0.313 CPU in 0.296 seconds (105% CPU, 13279994 Lips)

/* using factorize/3 */
?- X = X-0-9-5-4-2, Y = Y-7-5-2,
|    time((between(1,10000,_), rep_compare(_,X,Y), fail; true)).
% 1,059,998 inferences, 0.125 CPU in 0.123 seconds (101% CPU, 8479984 Lips)