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.