Improve the name simplification algorithm#35

JonasAlaif wants to merge 1 commit intoTyGuS:masterTyGuS/suslik:masterfrom

JonasAlaif:improve-name-simplifyJonasAlaif/suslik:improve-name-simplifyCopy head branch name to clipboard