143   if (vartype == search_var_instance_decl_c::external_vt)

   143   if (vartype == search_var_instance_decl_c::external_vt) {

   144     s4o.print(SET_EXTERNAL);

   144     symbolic_variable_c *variable = dynamic_cast<symbolic_variable_c *>(symbol);

   145   else if (vartype == search_var_instance_decl_c::located_vt)

   145     /* TODO Find a solution for forcing global complex variables */

   146     s4o.print(SET_LOCATED);

   146     if (variable != NULL) {

   147   else

   147       s4o.print(SET_EXTERNAL);

   148     s4o.print(SET_VAR);

   148       s4o.print("(");

   149   s4o.print("(");

   149       variable->var_name->accept(*this);

   150       s4o.print(",");

   151     }

   152     else {

   153       s4o.print(SET_COMPLEX_EXTERNAL);

   154       s4o.print("(");

   155     }

   156   }

   157   else {

   158     if (vartype == search_var_instance_decl_c::located_vt)

   159       s4o.print(SET_LOCATED);

   160     else

   161       s4o.print(SET_VAR);

   162     s4o.print("(");

   163   }