fixed bug in checking consistency of dependency rules