Forall intents - the initial implementation.

Explain why the block cannot be flattened if byrefVars are present.