Use more FEST assertions.