Added redundant closure computation to KB build.