Wie prüft man Regelbeispiele?