cimonom.lib
constant BelongSemig
constant MinMult
constant CompInt