ctpop implementation

To add test cases where souper can report any ctpop optimization