Analyzing and Debugging Business Rules