use FEST-assert to verify state