title: bv-enable-int2bv-propagation option
body: <p><code>(set-option :bv-enable-int2bv-propagation true)</code> works online. But, my local version complaints about it, saying:</p>
  
  <blockquote>
    <p>(error "line 1 column 43: unknown parameter
    'bv_enable_int2bv_propagation', this is an old parameter name, invoke
    'z3 -p' to obtain the new parameter list")</p>
  </blockquote>
  
  <p>What's the new parameter name? I tried to find it in the output of <code>z3 -p</code>, but I'm not sure.</p>