add alive/dead analysis and random stone addition to valid completeness