Improved multiplicity constraint algorithm
generated source code