fixed position issue not matching root pos when in fact being identical to it
fixed position issue not matching root pos when in fact being identical to it

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