add new features: clearLocals, typeSmashing, and change the way to do the smartSkip, testing on dacapo