recursively check newly generated n-ary rules