}
public static VerifierConfiguration getPlainWorkingSetVerifierConfiguration(Set<WorkingSetConfigData> workingSets) throws SerializationException {
return addWorkingSetConstraints(
getConstraintRulesFromWorkingSets(workingSets),
new EmptyVerifierConfiguration());
}