Realizability in Semantics-Guided Synthesis Done Eagerly. - Roland Meyer 001; Jakob Tepe; Sebastian Wolff 001 (CoRR, 2024)