Just a thought-experiment, could a program be written so that the computer generates it\'s own if-statements (semi/randomly) and runs them, gathers the results, then tests t
