apply new Alloy model and make Alloy visualizer work