Fixed eval_BinOp to work with both js and taint proxy