blink-inf-mizar32.l: remove redundant/duplicate code