Further improvements to function pointer optimisation

[thk123]

As outlined in #434 there is some room for improvement on the function pointer optimisation specifically with constant pointers to function points and constant structs containing function pointers.

[thk123]

A branch with some partial work on this issue: https://github.com/thk123/cbmc/tree/dump/fp-optimisation-improvements