JAMScript runtime enforcement for JavaScript program instrumented by the JAM weaver