style: revert "avoid warnings with GCC 4.6"

[Akim Demaille]

commit 12d0b15679057bc6660ae2ebc09c41f5c4cd66eb
Author: Akim Demaille <akim.demaille@gmail.com>
Date:   Sun Aug 2 10:18:11 2020 +0200

    style: revert "avoid warnings with GCC 4.6"
    
    This reverts commit d0bec3175ff5cf6582ffbf584b73ea6aaea838d0 (which
    should have read "We have a clash...", not "With have a clash...").
    Now that `max()` was renamed `max_int()`, we can use `max` again, as
    elsewhere in the code.
    
    * src/counterexample.c (visited_hasher): Alpha reconversion.

diff --git a/src/counterexample.c b/src/counterexample.c
index 7f207ca0..8a19aa51 100644
--- a/src/counterexample.c
+++ b/src/counterexample.c
@@ -712,10 +712,10 @@ ssb_equals (const search_state_bundle *s1, const 
search_state_bundle *s2)
 typedef gl_list_t ssb_list;
 
 static size_t
-visited_hasher (const search_state *ss, size_t maximum)
+visited_hasher (const search_state *ss, size_t max)
 {
-  return (parse_state_hasher (ss->states[0], maximum)
-          + parse_state_hasher (ss->states[1], maximum)) % maximum;
+  return (parse_state_hasher (ss->states[0], max)
+          + parse_state_hasher (ss->states[1], max)) % max;
 }
 
 static bool