getNodeFromEdgeSSx'ExyyviauvConsExyxsedgesvia[Ite][False][Ite]!EQuxuvConsExyxsedgesgetNodeFromEdgeS0Exyxmemberx'Consxxsmember[Ite][False][Ite]eqEdgex'xx'ConsxxsgetNodeFromEdge0ExyxeqEdgeEe11e12Ee21e22eqEdge[Match][E][Match][E][Ite]and!EQe11e21!EQe12e22e21e22e11e12viauvNiledgesNilnotEmptyConsxxsTruenotEmptyNilFalsememberxNilFalsereachuvedgesreach[Ite]memberEuvedgesuvedgesgoaluvedgesreachuvedges!EQSxSy!EQxy!EQ0SyFalse!EQSx0False!EQ00TrueandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTruevia[Ite][False][Ite]TrueuvConsExyxsedgesvia[Ite][False][Ite][True][Let]uvConsExyxsedgesreachyvedgesvia[Ite][False][Ite]FalseuvConsxxsedgesviauvxsedgesmember[Ite][False][Ite]Falsex'Consxxsmemberx'xsreach[Ite]Falseuvedgesviauvedgesedgesreach[Ite]TrueuvedgesConsEuvNilmember[Ite][False][Ite]TruexxsTruevia[Ite][False][Ite][True][Let]5True0via[Ite][False][Ite]5Nil0reach3and2eqEdge[Match][E][Match][E][Ite]5via4!EQ2member2getNodeFromEdge2S1E2Cons200member[Ite][False][Ite]3notEmpty1reach[Ite]4goal3eqEdge2False0INNERMOST