test_assume_expressions   77 maint/gnulib/tests/test-verify.c void test_assume_expressions (state *s);
test_assume_expressions  116 maint/gnulib/tests/test-verify.c   test_assume_expressions (&s);