2014-04-16:
added re-representation of the w7 demo software stack domain
added a fix of the intended semantic leak by using not events