Binary file diagrams/activity-ordering-records-information-flow-ordering-not-transitive.png has changed