FEST assertions added