Ter-Gabrielyan, A. (2021). Lizard: The Visual Debugger for Viper (Version 0.1.0) [Computer software]. https://github.com/viperproject/lizard