The Alloy Analyzer