add some test cases

tests/fallback.exp

+[_Tuple3 [2] [2] [1]]
\ No newline at end of file

tests/fallback.sapl

+main = _Tuple3 (test B True) (test (A 1 2) False) (test (A 1 2) True)
+:: A = A x y | B
+test a b = case a (A x y -> case b (True -> 1)) (_ -> 2)

tests/jurrien.exp

+["<svg width="639" height="441" xmlns="http://www.w3.org/2000/svg" version="1.1" viewBox="0 0 639 441" ><rect width="639" height="441" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 5) translate(5 0) translate(0 7.5)" >DynamicBPs.</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 5) translate(5 0) translate(110 0) translate(0 7.5)" >stepTest :: Task Int</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 5) translate(5 0) translate(310 0) translate(0 7.5)" ></text> <line x1="0px" x2="639px" y1="20px" y2="20px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <text id="uniqId-__INTERNAL_editletId_PLACEHOLDER__20" xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 20) translate(0 5) translate(5 0) translate(0 1) translate(0 7.5)" >n</text> <text id="uniqId-__INTERNAL_editletId_PLACEHOLDER__29" xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 20) translate(0 5) translate(5 0) translate(10 0) translate(0 1) translate(0 7.5)" > :: </text> <text id="uniqId-__INTERNAL_editletId_PLACEHOLDER__38" xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 20) translate(0 5) translate(5 0) translate(50 0) translate(0 1) translate(0 7.5)" >Int</text> <text id="uniqId-__INTERNAL_editletId_PLACEHOLDER__47" xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 20) translate(0 5) translate(5 0) translate(80 0) translate(0 1) translate(0 7.5)" ></text> <line x1="0px" x2="639px" y1="42px" y2="42px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__119" transform="translate(5 213.5)" ><rect width="190" height="56" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <rect width="190" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >updateInformation</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(170 0) translate(0 7.5)" > </text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 15) translate(0 2.5) translate(5 0) translate(0 1) translate(0 7.5)" >"step test"</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 15) translate(0 2.5) translate(5 0) translate(0 12) translate(0 1) translate(0 7.5)" >[]</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 15) translate(0 2.5) translate(5 0) translate(0 24) translate(0 1) translate(0 7.5)" >n</text> </g> <line x1="195px" x2="203px" y1="241.5px" y2="241.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="203px" x2="203px" y1="65.5px" y2="47px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="1px"  /> <line x1="203px" x2="203px" y1="413.5px" y2="65.5px" fill="black" fill-opacity="1" stroke="#000000" stroke-width="1px"  /> <line x1="203px" x2="203px" y1="436px" y2="413.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="1px"  /> <line x1="203px" x2="211px" y1="65.5px" y2="65.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(211 61.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <rect width="87" height="29" stroke-dasharray="5 5" fill="#fff" fill-opacity="1" stroke="#ccc" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 2.5) translate(16 0) translate(0 1.5)"  /> <circle r="4px" cx="4px" cy="4px" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(4 0)"  /> <rect width="16" height="4" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" rx="5px" ry="5px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 8)"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(0 -2)"  /> <line x1="227.5px" x2="227.5px" y1="72.5px" y2="68.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="10" height="5" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(3 -1)"  /> <line x1="237.5px" x2="237.5px" y1="72.5px" y2="68.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(13 -2)"  /> <text xml:space="preserve" fill="#666" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(16 4) translate(0 7.5)" > "Yes"</text> <line x1="306px" x2="314px" y1="65.5px" y2="65.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(314 61.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__200" transform="translate(322 49.5)" ><rect width="100" height="32" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <rect width="100" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >stepTest</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(80 0) translate(0 7.5)" > </text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 15) translate(0 2.5) translate(5 0) translate(0 1) translate(0 7.5)" >n</text> </g> <line x1="422px" x2="634px" y1="65.5px" y2="65.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="203px" x2="211px" y1="102.5px" y2="102.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(211 98.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <rect width="77" height="29" stroke-dasharray="5 5" fill="#fff" fill-opacity="1" stroke="#ccc" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 37) translate(0 2.5) translate(16 0) translate(0 1.5)"  /> <circle r="4px" cx="4px" cy="4px" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 37) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(4 0)"  /> <rect width="16" height="4" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" rx="5px" ry="5px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 37) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 8)"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 37) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(0 -2)"  /> <line x1="227.5px" x2="227.5px" y1="109.5px" y2="105.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="10" height="5" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 37) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(3 -1)"  /> <line x1="237.5px" x2="237.5px" y1="109.5px" y2="105.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 37) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(13 -2)"  /> <text xml:space="preserve" fill="#666" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 37) translate(0 2.5) translate(16 0) translate(0 1.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(16 4) translate(0 7.5)" > "No"</text> <line x1="296px" x2="304px" y1="102.5px" y2="102.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(304 98.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__288" transform="translate(312 86.5)" ><rect width="100" height="32" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <rect width="100" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >stepTest</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(80 0) translate(0 7.5)" > </text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 15) translate(0 2.5) translate(5 0) translate(0 1) translate(0 7.5)" >n</text> </g> <line x1="412px" x2="634px" y1="102.5px" y2="102.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="203px" x2="211px" y1="143.5px" y2="143.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(211 139.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g transform="translate(219 123.5)" ><polygon points="0,20 45,0 90,20 45,40" fill="#ffffff" stroke="#000000"  /> </g> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 74) translate(0 2.5) translate(16 0) translate(25 15) translate(0 7.5)" >&lt;= 0</text> <line x1="309px" x2="317px" y1="143.5px" y2="143.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(317 139.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <rect width="87" height="29" stroke-dasharray="5 5" fill="#fff" fill-opacity="1" stroke="#ccc" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 74) translate(0 2.5) translate(16 0) translate(106 5.5)"  /> <circle r="4px" cx="4px" cy="4px" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 74) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(4 0)"  /> <rect width="16" height="4" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" rx="5px" ry="5px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 74) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 8)"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 74) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(0 -2)"  /> <line x1="333.5px" x2="333.5px" y1="150.5px" y2="146.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="10" height="5" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 74) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(3 -1)"  /> <line x1="343.5px" x2="343.5px" y1="150.5px" y2="146.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 74) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(13 -2)"  /> <text xml:space="preserve" fill="#666" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 74) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(16 4) translate(0 7.5)" > "Pos"</text> <line x1="412px" x2="416px" y1="143.5px" y2="143.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__357" transform="translate(416 136)" ><rect width="100" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >stepTest</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(80 0) translate(0 7.5)" > </text> </g> <line x1="516px" x2="634px" y1="143.5px" y2="143.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="203px" x2="211px" y1="188.5px" y2="188.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(211 184.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g transform="translate(219 168.5)" ><polygon points="0,20 45,0 90,20 45,40" fill="#ffffff" stroke="#000000"  /> </g> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(25 15) translate(0 7.5)" >&gt;= 0</text> <line x1="309px" x2="317px" y1="188.5px" y2="188.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(317 184.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <rect width="87" height="29" stroke-dasharray="5 5" fill="#fff" fill-opacity="1" stroke="#ccc" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(106 5.5)"  /> <circle r="4px" cx="4px" cy="4px" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(4 0)"  /> <rect width="16" height="4" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" rx="5px" ry="5px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 8)"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(0 -2)"  /> <line x1="333.5px" x2="333.5px" y1="195.5px" y2="191.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="10" height="5" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(3 -1)"  /> <line x1="343.5px" x2="343.5px" y1="195.5px" y2="191.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(13 -2)"  /> <text xml:space="preserve" fill="#666" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(106 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(16 4) translate(0 7.5)" > "Neg"</text> <line x1="412px" x2="416px" y1="188.5px" y2="188.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="416px" x2="424px" y1="188.5px" y2="188.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <rect width="30" height="20" fill="#ebebeb" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(197 4) translate(8 6)"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 119) translate(0 2.5) translate(16 0) translate(197 4) translate(8 6) translate(5 5) translate(0 7.5)" >n </text> <line x1="454px" x2="462px" y1="188.5px" y2="188.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(462 184.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__457" transform="translate(470 172.5)" ><rect width="100" height="32" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <rect width="100" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >stepTest</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(80 0) translate(0 7.5)" > </text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 15) translate(0 2.5) translate(5 0) translate(0 1) translate(0 7.5)" >n</text> </g> <line x1="570px" x2="634px" y1="188.5px" y2="188.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="203px" x2="211px" y1="233.5px" y2="233.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(211 229.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g transform="translate(219 213.5)" ><polygon points="0,20 59,0 118,20 59,40" fill="#ffffff" stroke="#000000"  /> </g> <rect width="8" height="8" fill="#00bfff" fill-opacity="1" stroke="black" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(20 15) translate(0 1)"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="6" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(20 15) translate(0 1) translate(1 1) translate(0 4.5)" >S</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(20 15) translate(8 0) translate(0 7.5)" > Stable</text> <line x1="337px" x2="345px" y1="233.5px" y2="233.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(345 229.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <rect width="117" height="29" stroke-dasharray="5 5" fill="#fff" fill-opacity="1" stroke="#ccc" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(134 5.5)"  /> <circle r="4px" cx="4px" cy="4px" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(134 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(4 0)"  /> <rect width="16" height="4" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" rx="5px" ry="5px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(134 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 8)"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(134 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(0 -2)"  /> <line x1="361.5px" x2="361.5px" y1="240.5px" y2="236.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="10" height="5" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(134 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(3 -1)"  /> <line x1="371.5px" x2="371.5px" y1="240.5px" y2="236.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(134 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(13 -2)"  /> <text xml:space="preserve" fill="#666" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 164) translate(0 2.5) translate(16 0) translate(134 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(16 4) translate(0 7.5)" > "Stable"</text> <line x1="470px" x2="478px" y1="233.5px" y2="233.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(478 229.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__536" transform="translate(486 226)" ><rect width="100" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >stepTest</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(80 0) translate(0 7.5)" > </text> </g> <line x1="586px" x2="634px" y1="233.5px" y2="233.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="203px" x2="211px" y1="278.5px" y2="278.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(211 274.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g transform="translate(219 258.5)" ><polygon points="0,20 69,0 138,20 69,40" fill="#ffffff" stroke="#000000"  /> </g> <rect width="8" height="8" fill="#32cd32" fill-opacity="1" stroke="black" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(20 15) translate(0 1)"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="6" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(20 15) translate(0 1) translate(1 1) translate(0 4.5)" >U</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(20 15) translate(8 0) translate(0 7.5)" > Unstable</text> <line x1="357px" x2="365px" y1="278.5px" y2="278.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(365 274.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <rect width="137" height="29" stroke-dasharray="5 5" fill="#fff" fill-opacity="1" stroke="#ccc" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(154 5.5)"  /> <circle r="4px" cx="4px" cy="4px" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(154 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(4 0)"  /> <rect width="16" height="4" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" rx="5px" ry="5px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(154 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 8)"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(154 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(0 -2)"  /> <line x1="381.5px" x2="381.5px" y1="285.5px" y2="281.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="10" height="5" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(154 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(3 -1)"  /> <line x1="391.5px" x2="391.5px" y1="285.5px" y2="281.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(154 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(13 -2)"  /> <text xml:space="preserve" fill="#666" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 209) translate(0 2.5) translate(16 0) translate(154 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(16 4) translate(0 7.5)" > "Unstable"</text> <line x1="510px" x2="518px" y1="278.5px" y2="278.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(518 274.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__613" transform="translate(526 271)" ><rect width="100" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >stepTest</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(80 0) translate(0 7.5)" > </text> </g> <line x1="626px" x2="634px" y1="278.5px" y2="278.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="203px" x2="211px" y1="323.5px" y2="323.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(211 319.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g transform="translate(219 303.5)" ><polygon points="0,20 50,0 100,20 50,40" fill="#ffffff" stroke="#000000"  /> </g> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 254) translate(0 2.5) translate(16 0) translate(20 15) translate(0 7.5)" >10 &lt; n</text> <line x1="319px" x2="327px" y1="323.5px" y2="323.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(327 319.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <rect width="97" height="29" stroke-dasharray="5 5" fill="#fff" fill-opacity="1" stroke="#ccc" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 254) translate(0 2.5) translate(16 0) translate(116 5.5)"  /> <circle r="4px" cx="4px" cy="4px" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 254) translate(0 2.5) translate(16 0) translate(116 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(4 0)"  /> <rect width="16" height="4" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" rx="5px" ry="5px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 254) translate(0 2.5) translate(16 0) translate(116 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 8)"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 254) translate(0 2.5) translate(16 0) translate(116 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(0 -2)"  /> <line x1="343.5px" x2="343.5px" y1="330.5px" y2="326.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="10" height="5" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 254) translate(0 2.5) translate(16 0) translate(116 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(3 -1)"  /> <line x1="353.5px" x2="353.5px" y1="330.5px" y2="326.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="2px"  /> <rect width="3" height="6" fill="black" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 254) translate(0 2.5) translate(16 0) translate(116 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(0 12) translate(13 -2)"  /> <text xml:space="preserve" fill="#666" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 254) translate(0 2.5) translate(16 0) translate(116 5.5) translate(2.5 2.5) translate(0 3) translate(3 0) translate(16 4) translate(0 7.5)" > "Cond"</text> <line x1="432px" x2="436px" y1="323.5px" y2="323.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__705" transform="translate(436 307.5)" ><rect width="80" height="32" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <rect width="80" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >return</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(60 0) translate(0 7.5)" > </text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 15) translate(0 2.5) translate(5 0) translate(0 1) translate(0 7.5)" >n</text> </g> <line x1="516px" x2="634px" y1="323.5px" y2="323.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="203px" x2="211px" y1="368.5px" y2="368.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(211 364.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g transform="translate(219 348.5)" ><polygon points="0,20 60,0 120,20 60,40" fill="#ffffff" stroke="#000000"  /> </g> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 299) translate(0 2.5) translate(16 0) translate(20 15) translate(0 7.5)" >1000 &lt; n</text> <line x1="339px" x2="347px" y1="368.5px" y2="368.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(347 364.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__771" transform="translate(355 352.5)" ><rect width="80" height="32" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <rect width="80" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >return</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(60 0) translate(0 7.5)" > </text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 15) translate(0 2.5) translate(5 0) translate(0 1) translate(0 7.5)" >n</text> </g> <line x1="435px" x2="634px" y1="368.5px" y2="368.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="203px" x2="211px" y1="413.5px" y2="413.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(211 409.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g transform="translate(219 393.5)" ><polygon points="0,20 74,0 148,20 74,40" fill="#ffffff" stroke="#000000"  /> </g> <rect width="8" height="8" fill="#ff4500" fill-opacity="1" stroke="black" stroke-width="1px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 344) translate(0 2.5) translate(16 0) translate(20 15) translate(0 1)"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="6" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 344) translate(0 2.5) translate(16 0) translate(20 15) translate(0 1) translate(1 1) translate(0 4.5)" >E</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 344) translate(0 2.5) translate(16 0) translate(20 15) translate(8 0) translate(0 7.5)" > Exception</text> <line x1="367px" x2="375px" y1="413.5px" y2="413.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <rect width="30" height="20" fill="#ebebeb" fill-opacity="1" stroke="black" stroke-width="0px" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 344) translate(0 2.5) translate(16 0) translate(148 4) translate(8 6)"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 42) translate(0 5) translate(5 0) translate(198 0) translate(0 344) translate(0 2.5) translate(16 0) translate(148 4) translate(8 6) translate(5 5) translate(0 7.5)" >n </text> <line x1="405px" x2="413px" y1="413.5px" y2="413.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <g transform="translate(413 409.5)" ><polygon points="0,0 8,4 0,8" fill="#000000" stroke="#000000"  /> </g> <g id="uniqId-__INTERNAL_editletId_PLACEHOLDER__845" transform="translate(421 397.5)" ><rect width="80" height="32" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <rect width="80" height="15" fill="#ffffff" fill-opacity="1" stroke="#000000" stroke-width="1px" rx="5px" ry="5px"  /> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="bold" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(0 7.5)" >return</text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 2.5) translate(5 0) translate(60 0) translate(0 7.5)" > </text> <text xml:space="preserve" alignment-baseline="auto" dominant-baseline="auto" font-family="Arial" font-size="10" font-style="normal" font-stretch="normal" font-variant="normal" font-weight="normal" text-rendering="geometricPrecision" transform="translate(0 15) translate(0 2.5) translate(5 0) translate(0 1) translate(0 7.5)" >n</text> </g> <line x1="501px" x2="634px" y1="413.5px" y2="413.5px" fill="black" fill-opacity="1" stroke="black" stroke-width="1px"  /> <line x1="634px" x2="634px" y1="65.5px" y2="47px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="1px"  /> <line x1="634px" x2="634px" y1="413.5px" y2="65.5px" fill="black" fill-opacity="1" stroke="#000000" stroke-width="1px"  /> <line x1="634px" x2="634px" y1="436px" y2="413.5px" fill="black" fill-opacity="1" stroke="#ffffff" stroke-width="1px"  /> </svg>"]
\ No newline at end of file

tests/to2dec.exp

+["123.46"]
\ No newline at end of file

tests/to2dec.sapl

+main = R2S (jurrien.to2dec 123.456)
+jurrien.to2dec::D !n_0::D = divR (I2R (R2I (multR n_0 100.0))) 100.0
\ No newline at end of file