Alloy - diagram-builder Demo