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