Compute a list of test trees from the extracted information of an internal layer.
Compute the final action from the extracted information of a final state.
Compute the final list of actions from the extracted information of a final layer.