update and finish spec-syntax-utility.js