added tests for xForall and xPoll