submodels function

Compute All Correctness-Preserving Submodels of a QCA Reference Model