'int' -> 'Int'
test_whole_translator.py: Added translate_mis_to_c_and_write_to_file(input_string)