The node you are looking for is at States in Viper.