Function-constrained Program Synthesis. - Patrick Hajali; Ignas Budvytis (CoRR, 2023)