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