Fix explication bug causing runtime crash
Fix explication bug causing runtime crash

Semantic components were not sorted during explication allowing for the possibility that they could appear in different order for the same arrow in different places. We fix this by sorting the components after data gathering and before actually explicating the rules.

metaborg/dynsem,metaborg/dynsem