Bypass a dispatch when evaluating count subexpressions
Test and document that min and max can't have zero arguments
Factor out common code from VisitMin and VisitMax into a separate function
Don't test min and max with zero arguments because these are never produced (tested in .nl reader). Revise the solver test suite.