logic for 4p double elimination is working as desired
logic for 8p double elim done