Removed the single assignment block from constraints