Reg/Smallcheck: label tests