polynomial001.nudge

block {
  value «int»
  do int_multiply
  ref x1
  value «int»
  do int_divide
  ref x3
  block {
    do int_divide
    ref x4
    do int_divide
    value «int»
    value «int»
    do int_subtract}
  block {}
  ref x4
  value «bool»
  ref x2
  block {
    block {}
    block {
      block {}
      value «int»
      value «bool»}
    value «int»
    ref x2}
  value «int»
  block {
    do int_divide}
  do int_subtract
  value «int»
  value «int»
  block {
    do int_add
    value «bool»
    block {}
    value «bool»
    value «int»
    do int_subtract
    block {}
    block {}
    do int_add}
  ref x4
  ref x4
  value «int»
  value «int»
  block {
    value «bool»
    value «bool»
    do int_subtract
    value «bool»
    do int_add
    value «int»
    block {
      ref x4}
    do int_divide}
  value «int»
  block {
    value «int»
    value «bool»}
  value «int»
  do int_add
  block {
    ref x1
    value «int»
    value «int»
    block {}
    do int_add
    value «int»}
  block {
    do int_multiply
    value «bool»
    ref x4
    ref x3}
  ref x2
  value «bool»
  value «bool»
  do int_add
  value «bool»
  do int_multiply} 
«int» -93
«int» -27
«int» 81
«int» -23
«bool» true
«int» -44
«bool» false
«int» 5
«int» -94
«int» 4
«int» 74
«bool» false
«bool» false
«int» -89
«int» -59
«int» 34
«bool» true
«bool» true
«bool» true
«int» 27
«int» -8
«int» 9
«bool» false
«int» -67
«int» 45
«int» 56
«int» 13
«bool» true
«bool» true
«bool» true
«bool» false