def _normalize_arguments(expr_left, expr_rigth):
if expr_left.is_str_op() and expr_rigth.is_bv_constant():<EOL><INDENT>return expr_left, Int(expr_rigth.bv_signed_value())<EOL><DEDENT>elif expr_left.is_bv_constant() and expr_rigth.is_str_op():<EOL><INDENT>return expr_rigth, Int(expr_left.bv_signed_value())<EOL><DEDENT>return expr_left, expr_rigth<EOL>
Since we decided to emulate integer with bitvector, this method transform their
concrete value (if any) in the corresponding integer