fix bug caused by redefining predicates by resetting state in each load, and loading multiple files at once