Correction to VDMUtil`seq_of_char2val for quoted characters