Test.SmartCheck.ConstructorGen