very neat, how about programming languages that not only find bugs but use a discovery tree to try solutions and test them, then report back to you the options (which include the option to do it manually) This already exist?