Unit-test subset parameter of arqmath.loader.load_judgements