bug #10 ("disconnect" does not delete abstract node)