fixed more sonarqube violatons (minisat core package)

3 jobs for master in 48 minutes and 20 seconds (queued for 9 seconds)