add Lazy Dexopt