fixes a bug where incomplete facts were not involved in minimization