Fix NaiveStrategy

NaiveStrategy is buggy for classical FCA lattice.