bug fixed: steinerTree prunning is finished