A source-to-source transformation to effectively disable JavaScript JIT compilers