A program synthesis framework for verified lifting applications - View it on GitHub