appappltappsxappsyappappltxyappapplt0appsytrueappapplty0falseappappeqxxtrueappappeqappsx0falseappappeq0appsxfalseappappmemberwnullfalseappappmemberwappappappforkxyzappappappifappappltwyappappmemberwxappappappifappappeqwytrueappappmemberwz2.1applt0ltlt1lt2s0ss1000true0truefalse0falseeq0eqeq1eq2member0membermember1member2null0nullfork0forkfork1fork2fork3if0ifif1if2if3applty1lt1y1applt1x0y1lt2x0y1appsy1s1y1appeqy1eq1y1appeq1x0y1eq2x0y1appmembery1member1y1appmember1x0y1member2x0y1appforky1fork1y1appfork1x0y1fork2x0y1appfork2x0x1y1fork3x0x1y1appify1if1y1appif1x0y1if2x0y1appif2x0x1y1if3x0x1y1lt2s1xs1ylt2xylt20s1ytruelt2y0falseeq2xxtrueeq2s1x0falseeq20s1xfalsemember2wnullfalsemember2wfork3xyzif3lt2wymember2wxif3eq2wytruemember2wzapplty1lt1y1applt1x0y1lt2x0y1appsy1s1y1appeqy1eq1y1appeq1x0y1eq2x0y1appmembery1member1y1appmember1x0y1member2x0y1appforky1fork1y1appfork1x0y1fork2x0y1appfork2x0x1y1fork3x0x1y1appify1if1y1appif1x0y1if2x0y1appif2x0x1y1if3x0x1y1lt221s112003true01false02eq224member224null05fork331if330app210lt011s012eq013eq116member014fork015fork118fork227if016if1110if229lt2221s11100true0false0eq2212member2212null0fork33123if33123app212lt0lt111s0eq0eq111member0member111fork0fork111fork2212if0if111if2221AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (3 real / 0 unknown / 0 assumptions / 3 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe