added function dummy for ordered factor in factor control
added function dummy for ordered factor in factor control

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