The 'two passes' aren't really about the paragraph above, so maybe something like:
```
// If we need one or more machines, we want to aggregate the machines and any
// free statements into one state machine. 
```