bugfixes:
- replaced ArrayPSet by POrderedSet
- if second current parameter is empty, an POrderedSet containing all
elements of the first current parameter is returned.