Correct SCC annotation

Author: yogeshsajanikar

io-sim/src/Control/Monad/IOSim/Internal.hs

@@ -915,7 +915,7 @@ execAtomically !time !tid !tlbl !nextVid0 action0 k0 =
               k0 $! StmTxBlocked $! (Map.elems read)
 
             BranchFrame (OrElseStmA b) k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
-              {-# SCC "execAtomically.go.BranchFrame" #-} do
+              {-# SCC "execAtomically.go.BranchFrame.OrElseStmA" #-} do
               -- Execute the orElse right hand with an empty written set
               let ctl'' = BranchFrame NoOpStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
               go ctl'' read Map.empty [] [] nextVid b

io-sim/src/Control/Monad/IOSimPOR/Internal.hs

@@ -1126,7 +1126,7 @@ execAtomically time tid tlbl nextVid0 action0 k0 =
               k0 $! StmTxBlocked $! Map.elems read
 
             BranchFrame (OrElseStmA b) k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
-              {-# SCC "execAtomically.go.BranchFrame" #-} do
+              {-# SCC "execAtomically.go.BranchFrame.OrElseStmA" #-} do
               !_ <- traverse_ (\(SomeTVar tvar) -> revertTVar tvar) written
               -- Execute the orElse right hand with an empty written set
               let ctl'' = BranchFrame NoOpStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'