Branchwise-Real Trees And Bisimulations Of Potentialist Systems