Implemented heuristic of glucose for incremental solving.