Check if REWRITE rules are not reachable

[vrom911]

As this information is not in the HIE files, we need to investigate first how we can get this information first. Then we need to come up with the algorithm to check if REWRITE rule makes sense.