LIST_OF_MONOMS execution (only for ANF)
Merge remote-tracking branch 'boolcalc/master'
some bagfix-s in LIST_OF_POLYMON execution