include clearing of persistent structures before each testcase
include clearing of persistent structures before each testcase

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