diff --git a/src/Compare/SSEGraph.hs b/src/Compare/SSEGraph.hs index e2178d3c5dad9599b1e8cfe798c21981a7d0d550..12defaf10197de8396989ca6d66fba2c22425066 100644 --- a/src/Compare/SSEGraph.hs +++ b/src/Compare/SSEGraph.hs @@ -73,4 +73,4 @@ newtype SSEEdgeLabelKickoff = WithKickoff SSEEdgeLabel instance IsEpsilon SSEEdgeLabelKickoff where isEpsilon (WithKickoff l@(SSEEdgeLabel t)) - = isEpsilon l || "kickoff" `T.isInfixOf` t + = isEpsilon l || ("kickoff" `T.isInfixOf` t && (not $ "ISR" `T.isInfixOf` t))