Proof of concepts for algorithm to detect redundant rules as described in: http://stackoverflow.com/questions/24368791/algorithm-to-detect-redundant-rules