Craig Interpolation for Decidable First-Order Fragments (Logical Methods in Computer Science, 2025)