changed mainVerifier func 2 b not static + added a ctor + added
deriveSets..Test