Remove undefined map.
Merge branch 'master' of https://github.com/alviano/wasp
Remove unordered_set for variables in the learned clause.
Rename counter with visitedVariablesCounter.