SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis. Issue 4 (1st August 2020)