String patt0(String patt0) { //Return list of first characters from allMap.dart if (sugges[patt0] != null) { patt0 = sugges[patt0][0]; } return patt0; }