add comments: alloy translator