On Devising Algorithms for Ehrenfeucht-Fraïssé Games