BindingProperty[] orderedProps = perms.getOrderedProperties();
ConfigProps config = new ConfigProps(module);
Rules rules = module.getRules();
for (int i = 0; i < rebindOracles.length; ++i) {
BindingProps props = new BindingProps(orderedProps, perms.getOrderedPropertyValues(i), config);
rebindOracles[i] = new StandardRebindOracle(props.toPropertyOracle(), rules,
generatorContext);
permutations[i] = new Permutation(i, props);
}
}