Allow 'repeat' as an SMT-LIB user symbol name (UFNIA/vcc-havoc does this).
Better error when there are \backslashes in |quoted symbols|.