VDMUtil`seq_of_char2val fails with backslash quotes, fixes #247