Started refactoring, added in the table filling algorithm for minimization. No forward closure of relations yet