--WARNING----------
`Main' ?= `NULL': always NULL assignment.
Line 14 column 24 in Main(.../test/misc/32/main.li):
    b := True && {(m ?= NULL) && {m.flag}}
                        ^
--SEMANTIC---------
Slot `__infix_and_and' not found in `Main'.
Line 14 column 32 in Main(.../test/misc/32/main.li):
    b := True && {(m ?= NULL) && {m.flag}}
                                ^
