Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version). - Naoki Nishida 001; Kazushi Nishie; Misaki Kojima (CoRR, 2026)