The action

    @assert expression

checks that the result of an expression is true. If not, the entire program is aborted.

This action is provided as a facility for debugging and testing, especially with the standalone version of Antescofo (in the Max or PD version, the embedding host is aborted as well, which is not convenient).