syn keyword Statement assert
syn keyword Statement precondition