binary and unary clause tests