Fixed a bug of syntax declarations in CAST/AST.ab.