Lizard is the visual verification debugger for Viper IDE - View it on GitHub