COMET: An Application of Model-Based Reasoning to Accounting Systems