Function lawTests

Just like LawSet, but with an empty list of LawSets.