Add claim-by-claim constructive verification

Update logbook: Repro - Context-free Recognition with Transformers