AMI-diagrams demo paper for WOSP 2014