Automatic Abstraction 2 #74 — Deca