Kristensen, J.; Kaarsgaard, R.; Kirkedal Thomsen, M. Branching Execution Symmetry in Jeopardy by Available Implicit Arguments Analysis. NIKT 2023.