mummint: Property-based refinement now working
Merge branch 'master' of https://github.com/adisandro/MMINT into icse_demo