preliminary fix of re-ordering problem in paramod
preliminary fix of re-ordering problem in paramod

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