Improve writing of proven status of UCT nodes

git-svn-id: svn://svn.code.sf.net/p/fuego/code/trunk@1955 2e953b5c-c64d-0410-be54-f773e93e544c