Checkpoint in work on updating CoreLint to check invariants.