change term constructors to global again, local test went fine
change term constructors to global again, local test went fine

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