tail aspect of viper, 1 assertions