A decision procedure for sets, binary relations and partial functions