CP implemented, added tests for AND,XOR and OR