test_double_kill()
Test that when two transactions attempt to destruct a contract, the second
Back to test_double_kill().