On the length of checking test for repetition-free functions in the basis {0, 1, &, ∨, ¬}