Fix a rare problem when recomputing implications.
Fix a rare problem when recomputing implications.

When there were several multi-step implications of the same tag with
differing strength, or the strength of a single multi-step implication
changed, the strength of implied implications could be wrong.

Also, implications leaked mm-memory.

drougge/wellpapp,drougge/wellpapp,drougge/wellpapp