Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT zhang-2026-outrunningESOP · 2026