Add tc_proper_model_behaviour diagram