bugfix: synthesis failed with empty environment
bugfix: synthesis failed with empty environment

mechtaev/angelix,mechtaev/angelix,mechtaev/angelix,mechtaev/angelix,mechtaev/angelix,mechtaev/angelix,mechtaev/angelix