getNodeFromEdgeSSx'ExyyviauvConsExyxsedgesvia[Ite]!EQuxuvConsExyxsedgesgetNodeFromEdgeS0Exyxmemberx'Consxxsmember[Ite]eqEdgex'xx'ConsxxsgetNodeFromEdge0ExyxeqEdgeEe11e12Ee21e22eqEdge[Ite]and!EQe11e21!EQe12e22e21e22e11e12viauvNiledgesNilnotEmptyConsxxsTruenotEmptyNilFalsememberxNilFalsereachuvedgesreach[Ite]memberEuvedgesuvedgesgoaluvedgesreachuvedges!EQSxSy!EQxy!EQ0SyFalse!EQSx0False!EQ00TrueandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTruevia[Ite]TrueuvConsExyxsedgesvia[Let]uvConsExyxsedgesreachyvedgesvia[Let]uvConsxxsedgesNilviauvxsedgesvia[Let]uvConsxxsedgesConsx'xs'ConsxConsx'xs'via[Ite]FalseuvConsxxsedgesviauvxsedgesmember[Ite]Falsex'Consxxsmemberx'xsreach[Ite]Falseuvedgesviauvedgesedgesreach[Ite]TrueuvedgesConsEuvNilmember[Ite]TruexxsTrueeqEdge[Ite]Falsee21e22e11e12FalseeqEdge[Ite]Truee21e22e11e12TrueTrue0Nil0reach3and2via4via[Ite]5!EQ2member2getNodeFromEdge2S1E2Cons200member[Ite]3via[Let]5notEmpty1reach[Ite]4eqEdge[Ite]5goal3eqEdge2False0INNERMOSTFrederiksen_Others/reach.tml.trs