レッスン3 — `forge invariant` — Handler パターンによる multi-call invariant testing