def normalise_string(string):
string = (string.strip()).lower()<EOL>return re.sub(r'<STR_LIT>', '<STR_LIT:_>', string)<EOL>
Strips trailing whitespace from string, lowercases it and replaces
        spaces with underscores