Preliminary Version Improving Constructiveness in Code Generators