Basic Alloy2XMI converter