code: def StrConcat(*args):
      
      new_value = ''.join([arg.value for arg in args])
      return StringV(new_value)
docs: 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