generated alloy files from case studies