make checks specific for binarized grammars