A decision procedure for restricted intensional sets