These are some classes that are removed by Sunit-removal,
but are not part of SUNIT 3.1.
The classes (TestViaMethodCall, VerifierOfProperty, Verifier)
are now in the system cathegoy "Protocols-Examples", all
"example-for" methods are in the according DVS-category.
Original documentation (from Verifier class comment):
Instead of one new class per class being tested, many classes may use TestViaMethodCall.
Hold a Verifier (a MethodCall with an expected answer). Run that method and compare the actual answer with the expected answer.
All class that implements #exampleFor: will be asked for all of their test cases. For now, they appear in one big list, not separated by class.