names of rules are not unique across files #4
Description
When I used the tool, I tried to concatenate multiple files into one. However the names of the TPTP rules are like act1_query1 and they are not unique when coming from multiple files.
{{ message }}