plus_x#1 0 x8 x8 plus_x#1 S x12 x14 S plus_x#1 x12 x14 map#2 plus_x x2 Nil Nil map#2 plus_x x6 Cons x4 x2 Cons plus_x#1 x6 x4 map#2 plus_x x6 x2 main x5 x12 map#2 plus_x x12 x5 plus_x#1 2 0 0 S 1 map#2 2 plus_x 1 Nil 0 Cons 2 main 2 INNERMOST hoca/mappplus.trs