Fix compilation issues.
Separate optimization, constraint handling, and covering array generation concernings.