Closure lattices for avoiding overtesting of students