Return True if the concrete value of the input_string ends with suffix
    otherwise false.

    :param suffix: suffix we want to check
    :param input_string: the string we want to check

    :return : True if the input_string ends with suffix else false

def StrSuffixOf(suffix, input_string):
    """
    Return True if the concrete value of the input_string ends with suffix
    otherwise false.

    :param suffix: suffix we want to check
    :param input_string: the string we want to check

    :return : True if the input_string ends with suffix else false
    """
    return re.match(r'.*' + suffix.value + '$', input_string.value) is not None