let pp_combtest = function | And -> "And" | Or -> "Or" | Nand -> "Nand" | Nor -> "Nor" | Xor -> "Xor" | Not -> "Not"