Expr-to-C: output type information with nondet_symbol

This is a debugging aid to make the output of `--program-only` more
helpful when trying to see whether a call to malloc/calloc included type
information (via a sizeof annotation).

Author: tautschnig

src/ansi-c/expr2c.cpp

@@ -1663,7 +1663,7 @@ std::string expr2ct::convert_symbol(const exprt &src)
 std::string expr2ct::convert_nondet_symbol(const nondet_symbol_exprt &src)
 {
   const irep_idt id=src.get_identifier();
-  return "nondet_symbol("+id2string(id)+")";
+  return "nondet_symbol<" + convert(src.type()) + ">(" + id2string(id) + ")";
 }
 
 std::string expr2ct::convert_predicate_symbol(const exprt &src)