[IMP-dev] unary function checks