The RTS model should support the truncate operation, because it is one of the commonly used operation in test/format. This is thus a prerequisite for being able to integrate model verification into test/format.