added prev (causal) links to messages and decl-dependency buffering