Related content
Previous snippet
no_executable_nodes
ObjectFlows may not have ExecutableNodes at either end.
inv: not (source.oclIsKindOf(ExecutableNode) or target.oclIsKindOf(ExecutableNode))