Trunk and Junip Integration | Alloy Automation