thread and threadPreview models in alloy. create a thread with a region specified.