vedil··on [dead]recently i was tinkering with the idea vedil.wordpress.com/2014/07/09/test-driven-program-synthesis/is this feasible?