a5: Add a5tl to assert