head aspect of tern, 1 assertions