(;FF[4]SZ[10]EV[rev10.ch.4.3.4]PB[librice]PW[CoPLaS (cpls)]SO[https://www.littlegolem.net])