Klar empfiehlt es sich is_in zu löschen, da es durch Auswertung mit Grenzrelationen überflüssig macht.