add DEST_STRING to stringML signature