method needed by ruleminer
merge nadeef with ruleminer