Can we solve this by generating example scenarios from the code and putting them to a common sense test? This is an integration test, of sorts.