Details
Description
The first attachment factors out the creation of $workflowClause into a separate function, and corrects a few trivial errors in the comments.
The second attachment also corrects line indentation.
The third attachment is an interdiff between the two.