Trim section on concolic optimizations.