Fix variable cast in VPI

[veripoolbot]

---

Author Name: Stefan Wallentowitz (@wallento)
Original Redmine Issue: 1509 from https://www.veripool.org

Original Assignee: Stefan Wallentowitz (@wallento)

---

Fix cast from Var to base type when getting handle in VPI

[veripoolbot]

---

Original Redmine Comment
Author Name: Stefan Wallentowitz (@wallento)
Original Date: 2019-09-18T11:14:49Z

---

Updated patch for current HEAD

[veripoolbot]

---

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-09-18T11:25:49Z

---

Thanks for the good patch. Applied & pushed to git for eventual 4.016 release.

[veripoolbot]

---

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-10-06T14:07:21Z

---

In 4.020. Thanks for reporting this; if there are additional related problems, please open a new issue.