Two new recursion/circularity tests