Currently resulting in CI failing on main during fsm checks which generate a circuit that simplifies to this.