Added constraint for unused subscribes and fixed observe-value link expression
Fixed marking error of traces (to which perticipant in the sequence does a trace belong)
Added error highlighting to component tree tab; Fixed ordering of elements in the svg
Added statusbar output for constraintset semantic/syntactic validation