Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator (Logical Methods in Computer Science, 2012)