**[Original report](https://bitbucket.org/qiyitang71/jpf-visual/issue/47) by Qiyi Tang (Bitbucket: [557058:2fa1148b-f902-41e5-ac1b-c0f7bdf50d33](https://bitbucket.org/557058:2fa1148b-f902-41e5-ac1b-c0f7bdf50d33), GitHub: [qiyitang71](https://github.com/qiyitang71)).** ----------------------------------------
Original report by Qiyi Tang (Bitbucket: 557058:2fa1148b-f902-41e5-ac1b-c0f7bdf50d33, GitHub: qiyitang71).