Checkpoint, refined testing of Sharing