Conclusion

Strengths and Weaknesses of CSSCPA

Breadth and depth of coverage
Easy to upgrade and extend
Problems with non-logical consequences, e.g., splitting

Future

Extend with analytic systems
Build monolithic proofs and proof check
Test iterative easing on single systems

Acknowledgement: Thanks to Stephan Schulz for implementing the FLi.