1. A computer-based method for generation of a graph representation of a rule set, comprising: selecting a rule from the rule set; determining at least one verification set for the selected rule, wherein said at least one verification set encompasses all valid values; processing each of the at least one verification sets, comprising: creating a subgraph for each of said verification sets; and recursively processing said subgraph; and linking said subgraph to the graph representation.