/test/golden/finite-set-terms/