fixed factor control to allow factors that we not computed before
fixed factor control to allow factors that we not computed before

leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III