Add some asserts (instances have same size)