Checkpoint work on "simple" non-monotone linearizer.