uniform analysis of non-deterministic language features

[jhellerstein]

Currently the only non-determinism we model is async channels. However we have at least two others:

• choice aggregates
• the val field of periodics

These should be caught in the analysis properly, and deserve more thought in general.