/* * Shortcut for +covenants_count == 0+ * * call-seq: * solver.covenants_empty? -> bool * */ int covenants_empty()