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