Curate-Ipsum

Code synthesis through belief revision, mutation testing, and verification