[Tests] Initialize Tool's actions which otherwise causes a NPE when LiveCheck#TestHelper has re-created the liveness behavior graph, a violation has been found and the error trace is printed (LiveCheck#printTrace).
[Tests] Initialize Tool's actions which otherwise causes a NPE when
LiveCheck#TestHelper has re-created the liveness behavior graph, a
violation has been found and the error trace is printed
(LiveCheck#printTrace).

lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus