a = -b
      -a =  b
 
 muinus :
      a = -a
      b = -b
    go to plus
   plus :
      a = -a
      b = -b
    go to muinus