now parses for @assert