Dealing with Alloy 0.3.6