Deleted unused import clauses.
Error message for CoherentVarialblesWriting was unclear.
Added comments to justify the existence of the variable_condition set.
Added iterators over more data of the model.