Change with pure literals: assignment now directly in heuristics.

This simplifies matters.