RVM

Explicit model of Exception Object dataflow