The use of verification points in Robot (detailed)