This folder contains tests for the CIVL backend, like for
the collection/renaming of symbolic constants.