void on_child_modified(ModelingOpCollection collection, ModelingOperator op) { base.invalidate(); }
void on_collection_modified(ModelingOpCollection collection) { base.invalidate(); }
void on_child_modified(ModelingOpCollection collection, ModelingOperator op) { base.invalidate(); }
void on_collection_modified(ModelingOpCollection collection) { base.invalidate(); }