alloy regressions for modules now work properly in Alloy Analyzer