ignore tests on defeasible logic