Draft: Reed muller model2
Added Class ReedMuller2, that derives from the original ReedMuller and Synthesizer ReedMuller2 gets a kitty::dynamic_truth_table and produces an equal SubNet ID
Added Class ReedMuller2, that derives from the original ReedMuller and Synthesizer ReedMuller2 gets a kitty::dynamic_truth_table and produces an equal SubNet ID