Quadsat at AMTA 2022