Static analysis of life and death in the game of Go