fixed a constraints generation bug in Multiple

./scripts/symbolic2 tests/unit/compos1 0
./scripts/symbolic2 tests/unit/compos2 0
./scripts/symbolic2 tests/unit/compos3 0
./scripts/symbolic2 tests/unit/integer10 0