Argued why checking collapsibility is undecidable. Wrote some more on
the optimisation based on concrete collapsibility.