Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example