Added sample for constraint merging