Add partition-finite-set
Refactor PARTITION-FINITE-SET and fix test call