Altered label subsumption.
Added equality for wildcards.
Modified Wildcard implication/subsumption.
Merging of inter-trace deps now works - except for complex cases with multiple wildcards...