The smt dialect already has smt.and , smt.or , and smt.xor for the standard boolean connectives from…

The smt dialect already has smt.and , smt.or , and smt.xor for the standard boolean connectives from…: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). I'm lowering some verification conditions to the smt dialect and need to express things like "if p then q ". Right…