code: def StrSuffixOf(suffix, input_string):
      
      return re.match(r'.*' + suffix.value + '$', input_string.value) is not None
docs: 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