Added a proof of concept that tests a buggy application and prints out the code snippets most likely to be faulty. Somehow this does not yet quite yield the results I was looking for, probably there's still a bug somewhere.