fix bug on processing simple global constraint
update grammar parser