Improve minimize performance#94

savask wants to merge 2 commits intometamath:mastermetamath/metamath-exe:masterfrom

savask:minimize-speedupsavask/metamath-exe:minimize-speedupCopy head branch name to clipboard