Implement context product

Signed-off-by: Maximilian Marx <mmarx@wh2.tu-dresden.de>
Make verbose output even more verbose

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

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