Make rule dumping optional