taintable/dynamic_taint/jalangi/src/js/analysis.js
// H is invoked with the value of x
H is invoked with the value of x
H is invoked with the value of x
function H(iid, val) {
                if (rrEngine) {
                    val = rrEngine.RR_H(iid, val);
                }
                return getConcrete(val); 
            }
function H ( iid , val ) { if ( rrEngine ) { val = rrEngine . RR_H ( iid , val ) ; } return getConcrete ( val ) ; }
H is invoked with the value of x
H is invoked with the value of x
//TODO added by CAS to avoid traversing wrapped objects