tail aspect of ocelot, 1 assertions