taintable/dynamic_taint/jalangi/src/js/analysis.js
// C1 is invoked with value of x
C1 is invoked with value of x
C1 is invoked with value of x
function C1(iid, left) {
                var left_c;
                left_c = getConcrete(left);
                switchLeft = left;
                return left_c;
            }
function C1 ( iid , left ) { var left_c ; left_c = getConcrete ( left ) ; switchLeft = left ; return left_c ; }
C1 is invoked with value of x
C1 is invoked with value of x