finished the CPS solution stack. Also found out that it wasn't necessary because of bugs in the predicate module. Should be far more stack-memory efficient though