new bug report: binarization in syntax-based system