WIP: Fix preconceptual factorization

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Add test for preconceptual factorization

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

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

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

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

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