#tutorial-sat-0900-high-level-exec-spec-magnolia9
#tutorial-sat-1400-dafny-magnolia9
#tutorial-sun-0900-dsl-hardware-magnolia9
#tutorial-sun-1400-static-analysis-wala-magnolia9