The `LinkedHashSet` affects mainly what literal is choosen here (aka branching literal). I'm wondering if there's a good heuristic on what literal to choose. Also Sat4J might have a different heuristic...