Fixes a bug with name mangling when macros are involved. More standard library contracts. Updates dependencies. Ignores predecessor blocks that are known not to reach a block after round 1 of the fixed point loop. Fixes diagnostic formatting that resulted in "possible possible ..." messages.