Soweit ich weis kürz dieses Verfahren nur bereits sichere Vergleiche ab
Wenn das Programm also gerade da ist: if (Falso and ...) then und die ... auswerten soll (das davor wurde vorher als False ausgewertet) dann überspringt er das weil es ja
nicht mehr True geben kann - es ist logisch unmöglich. Das Gleich passiert bei if aor b then - wenn a bereits True gibt wird b nicht mehr ausgewertet.
Und glaube mir, der Kompiler macht da keinen fehler, das wäre anderen schon vorher aufgefallen