Added more negative tests, fixed CYK bugs