coverage.sh: update the script for gcc-aux
s_expressions-encodings-tests: add more tests to reach complete coverage