FEST assertions enhanced