The omission finder for debugging what-should-have-happened bugs in object-oriented programs