print nodes updated; new node composition impl-n checked