Module checking of strategic ability