Honestly I think that will be harder for this kind of system than writing this sort of code. It takes a certain kind of creativity to think of ways that code could potentially fail, and it also requires fairly deep understanding of the intent behind a feature.