fix a bug for pt analysis (worklist alg) for sablecc benchmark