feature/debug-of-FP-code
Declarative and FP code are sometime difficult to debug because they lacks a step-by-step operational semantic.
Dok and DokMelody can decompose big declarative expressions (e.g. queries) into smalle pieces and test if they are doing the intended thing.
One can insert intermediate assertions/constraints, for seeing if the behaviour is as expected.