Symbol: test_finite