Refactor AE
Move reducing to fca, add reducing step at attribute exploration, fix bugs