name as the base name for the tests.
use SizeRange instead
Use PropertyCheckConfiguration instead
Use PropertyCheckConfiguration directly instead.
laws for some type
A, using the full name of
A as the base name for the tests.
the type of laws
the type to run the laws on
the laws to use
the tag associated with type to test
LawChecker to check the law