Alloy 6 の新機能 Mutable Field と線形時相論理