added assertion for Nodes % t_size = 0