Implement checkFunctor testing procedure