MiniAgda by Andreas Abel and Karl Mehltretter --- opening "Umlaut.ma" --- --- scope checking ---