suppress the following error message: "Events with the same name should have the same parameters when projected to the specification parameters."
suppress the following error message:
"Events with the same name should have the same parameters when projected to the specification parameters."


git-svn-id: 013ac3113cd3d16c1953ca3ca14bb907a88a1e2d@257 3664526f-1af9-0fc8-7c89-f5c43c22a1f7

runtimeverification/llvmmop,runtimeverification/llvmmop