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.