The following are tasks supported by Alloy: