WF naive tests