Fix local registers semantics. Document Vade semantics