research project to experiment with correctness by construction of ast composition