fix bugs on dealing simple global constraint