Nary expressions in CVC4 must have at least two operands