Merge vs. Alloy Automation