result
Step
AnalyzedScenario
runDebugDerivations
FactEngine
runDerivations
FactEngine
runHeuristics
HeuristicService
runNormalDerivations
FactEngine