const Type *ParmType = p->getType().getTypePtr();
if (ParmType->isLValueReferenceType())
ParmType = dyn_cast<LValueReferenceType>(ParmType)->getPointeeType().getTypePtr();
if (ParmType == EventType)
FindTransitVisitor(model, SrcState, EventType).TraverseStmt(React->getBody());
const Type *ParmType = p->getType().getTypePtr();
if (ParmType->isLValueReferenceType())
ParmType = dyn_cast<LValueReferenceType>(ParmType)->getPointeeType().getTypePtr();
if (ParmType == EventType)
FindTransitVisitor(model, SrcState, EventType).TraverseStmt(React->getBody());