ParameterContext context = new ParameterContext(parameterType());
context.addQuantifier(quantifier);
context.addConstraint(constraint);
if (explicitGenerators.value() != null)
context.addGenerators(explicitGenerators);
for (Map.Entry<Class<? extends Annotation>, Annotation> each : configurations().entrySet())
context.addConfiguration(each.getKey(), each.getValue());
theoryParameters = generator.generate(context);
}