stable with primitive cut enumeration. s344 lut cannot find adder circuit