Setup for testing
Refactoring for better reuse
More preliminaries for the driver
More preliminaries to drive the verification protocol tests
Basic shape of the verification protocol driver