TraceSplitSemElem: first version; not even compiled yet

This is copied and modified from KeyedSemElemSet
Equalities guard: initial version (still a SemElem)
DROP THIS COMMIT
Merge branch 'master' of github.com:WaliDev/WALi-OpenNWA