Corrected bug (invalid nodes number) leading to incorrect elimination tree