I implemented it as 
```case e@ReturnException(ret) => if (vexpr.isInstanceOf[MethodValue]) ret else throw e```