Import viper in adv_diff demo only when visualize is enabled