/media/sda-magnetic/david/Extern-Magnetic-2022-06-29/Extern01/Dokumente-11-2021-07-05/informatik-math/excrs-2021-07-16/op00001.txt


a <- 0;
a <- 1;
a <- a+1;
a <- a+b;

b <- 0;
b <- 1;
b <- b+1;
b <- a;

a == b