Revert "merge nadeef with ruleminer"

This reverts commit e9c426bc127e8a7fc0abdfb2369dd8c8f143520a, reversing
changes made to 052cae7d21785b5ac77fe4263129f267457709d1.
Revert "method needed by ruleminer"

This reverts commit 052cae7d21785b5ac77fe4263129f267457709d1.