[m-rev.] diff: track format strings through appends

[Zoltan Somogyi]

With this diff, we can now check and optimize calls to string.format
and related predicates in which the format string is constructed through
string concatenation. I did it mostly for the extra checking capability,
and it has already found a bug in the Mercury system itself.

Zoltan. 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.fc_append
Type: application/octet-stream
Size: 628 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20150122/a1bae75d/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.fc_append
Type: application/octet-stream
Size: 38678 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20150122/a1bae75d/attachment-0001.obj>