def StrConcat(*args):
    """
    Create a concrete version of the concatenated string
    :param args: List of string that has to be concatenated

    :return : a concrete version of the concatenated string
    """
    new_value = ''.join([arg.value for arg in args])
    return StringV(new_value)
Create a concrete version of the concatenated string
    :param args: List of string that has to be concatenated

    :return : a concrete version of the concatenated string