First attempt to generate constrained functions