first step towards DNF reduction of Variants