Contracts/dynamic frames: do not attempt to instrument typedefs

When collecting all functions from the symbol table (code-typed
symbols), we must not include typedefs (which may also be code typed).

Author: tautschnig

src/goto-instrument/contracts/dynamic-frames/dfcc.cpp

@@ -265,7 +265,7 @@ void dfcct::partition_function_symbols(
     const symbolt &symbol = entry.second;
 
     // not a function symbol
-    if(symbol.type.id() != ID_code)
+    if(symbol.type.id() != ID_code || symbol.is_macro)
       continue;
 
     // is it a pure contract ?