Class ConstructorBuilder.BasicPatternVerifier