Move true literals in last positions during heuristic visit.
Inline a few functions in heuristic and learning.