Cache closing node IDs for reusing later

[kovvalsky]

A long awaiting addition that should drastically decrease tableau size and proof runtime.
A good starting example is SICK-train 200.