module FeatureProof::Generators