poly.java

mmlang> int{3}~<[+2|[is>4]-<[_|_]>-+4]>-[gt,[plus,2]][id][explain]
==>
bool{3,9}<=int{3}~<[int{3}[plus,2]|int{0,6}<=int{3}[is,bool{3}<=int{3}[gt,4]]-<[int{0,3}|int{0,3}]>-[plus,4]]>-[gt,int{3,9}[plus,2]][id]

instruction                                    domain                                              range                                         state
-------------------------------------------------------------------------------------------------------------------------------------------------------
~<[int{3}[plus,2]|int{0,6}<=int{3}[is,bo...    int{3}                                         =>   [int{3}[plus,2]|int{0,6}<=int{3}[is,bool...
 [plus,2]                                       int{3}                                        =>    int{3}
 [is,bool{3}<=int{3}[gt,4]]                     int{3}                                        =>    int{0,3}
  [gt,4]                                         int{3}                                       =>     bool{3}
 -<[int{0,3}|int{0,3}]                          int{0,3}                                      =>    [int{0,3}|int{0,3}]
 >-                                             [int{0,3}|int{0,3}]                           =>    int{0,6}
 [plus,4]                                       int{0,6}                                      =>    int{0,6}
>-                                             [int{3}[plus,2]|int{0,6}<=int{3}[is,bool...    =>   int{3,9}
[gt,int{3,9}[plus,2]]                          int{3,9}                                       =>   bool{3,9}
 [plus,2]                                       int{3,9}                                      =>    int{3,9}
[id]                                           bool{3,9}                                      =>   bool{3,9}

mmlang>