removed unnecessary (after dyn sizes) precondition in world create