Cleaned up language in main to reflect new name for left minimization (common prefix merging).
Cleaned up language in main to reflect new name for left minimization (common prefix merging).

jackwadden/VASim,jackwadden/VASim,jackwadden/VASim,jackwadden/VASim