Aleksandar S. Dimovski: On Synthesizing Presence Conditions in Numerical Software Product Lines. SPLC (A) 2025: 161-171