I once was in a situation like this: Tons of weird rules, straight from the law, which made no sense at all.
Every day someone came along with a bug. After tracing through the code for half an hour, the program was generally proven correct. The business had forgotten some weird edge case of an edge case.
I always wanted to write a small gui program that would list for the business which rules had been applied, and what all intermediate data was.
BREs were to slow, btw, so everything was hardcoded.