fix bug on dealing with simple global constraint