SMV netlist: use IVAR

The SMV netlist output now uses IVAR for input variables.

Author: kroening

src/trans-netlist/smv_netlist.cpp

@@ -157,7 +157,7 @@ void smv_netlist(const netlistt &netlist, std::ostream &out)
     {
       if(var.is_input())
       {
-        out << "VAR " << id2smv(var_it.first);
+        out << "IVAR " << id2smv(var_it.first);
         if(var.bits.size() != 1)
           out << "[" << i << "]";
         out << ": boolean;" << '\n';