Write SCC being checked during liveness to dedicated file.      [Tests][TLC]
Write SCC being checked during liveness to dedicated file.
    
[Tests][TLC]
lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus