Profiling Alloy Models