[TMeL] Correct test argument order.