Making lua minimizing optional. The minimizing is not optimal yet, so help would be appreciated.