Checkpoint modified strategy for multiple poset eval.
Minor poset tweaks.