Add phi(x, a) thread safety test