Spurious function call type difference in goto-diff

[peterschrammel]

Some function calls have ID_parameters, others don't.

This is observed in failing instruction->code comparisons at:
https://github.com/diffblue/cbmc/blob/develop/src/goto-diff/unified_diff.cpp#L396
https://github.com/diffblue/cbmc/blob/develop/src/goto-diff/syntactic_diff.cpp#L98

The difference is not visible in --show-goto-functions output. It requires dumping ireps.

A temporary fix has been added here: 0b3170d

So far, it seems that only clinit wrappers are affected.