improve hasSideEffects in js optimizer a tiny bit