Solutions to Program Construction in Practice