This is the plan for transitioning to the Pyk/KSummarize like architecture.
- Get test/operational/control-flow passing
- Refresh the build system
- Create pyk runner for collatting test results
- Get test/operational/ passing
- Get loop-free quant-free symbolic test passing
- Get looping quant-free symbolic test passing (with manual infereence) ?. Get quantifiers working via pyk ?. Get inference working.