A\dd a precondition that the t_cell_collection_t component positions_ is allocated the positions type-bound procedure

[rouson]

To Do

• Add the precondition in the UML diagram
• Add the corresponding assertion in the t_cell_collection_s submodule