fixup! Make make_(free_)bv_expr return exprt

Author: romainbrenguier

src/cbmc/bv_cbmc.cpp

@@ -20,7 +20,6 @@ bvt bv_cbmct::convert_waitfor(const exprt &expr)
     throw 0;
   }
 
-  exprt new_cycle;
   const exprt &old_cycle=expr.op0();
   const exprt &cycle_var=expr.op1();
   const exprt &bound=expr.op2();