Address missing = address(c1);
log.tracef("Before killing node %s", missing);
crashCacheManagers(manager(c1));
installNewView(advancedCache(a0).getRpcManager().getTransport().getMembers(), missing, manager(a0), manager(a1), manager(c0));
ss.enter("main:2nd_node_left");
missing = address(c0);
log.tracef("Killing 2nd node %s", missing);
crashCacheManagers(manager(c0));
installNewView(advancedCache(a0).getRpcManager().getTransport().getMembers(), missing, manager(a0), manager(a1));