Adding workaround for regression in Alloy 1.3.0-cr and adding note about native support in 3.2.0