get and add elements in ImplicationalSystem

[guerinclement]

When you want to copy all elements from one implicational system to another, the container of the methods do not match.
getSet() returns a SortedSet while addAllElements requires a TreeSet.
One cannot be casted in another.