Workflow analysis

[Lut99]

This chapter defines the various workflow analyses that are done on the BraneScript AST before compilation to WIR.

Concretely, these are:

1. Finding data dependencies
2. Resolving location restrictions
3. Resolving metadata attributes

(maybe more once I find them)