[tactic] Single sided match should work for arbitrary pre-conditions#795

Merged

Cameron-Low merged 1 commit intomainfrom

Aug 20, 2025

Commits on Aug 19, 2025

Replace trivial with hard-coded tactic chain in one-sided match.
Cameron-Low
committed