/* * Number of Covenants * * call-seq: * solver.covenants_count -> int * */ int covenants_count()