Compute all the crosses of a given context

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Verify factorization results

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
WIP: Fix preconceptual factorizations

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>