fixed a bug in the constraints for __copytags, and added a regression test.
fixed a bug in the constraints for __copytags, and added a regression test.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c