modify caseTStringLiteralExp method in BToVdmConverter.java to deal with string appearing in the argumet of tuple exp (mk_(1, "str", 3) for example)