andreaspirklbauer/Oberon-type-case-statement-without-loopholes not found