Software systems are designed according to guidelines and constraints defined by business rules. Some of these define the allowable or required values for data handled systems. These usually originate from problem domain (e.g., regulations), developers must write code that enforces them. Understanding how implemented is essential testing, debugging, software change. Unfortunately, there no wide...