s4-tests: Tests for the dSHeuristics attribute value restrictions