Test.Story: shrinking for arb_1, prop_1