Prova:

{ true } [atribui(a, num(5)), atribui(b, num(6)), atribui(c, expInt(soma, ide(a), ide(b)))] { true } { true } [atribui(a, num(5))] { true } { true } [atribui(b, num(6)), atribui(c, expInt(soma, ide(a), ide(b)))] { true } { true } [atribui(b, num(6))] { true } { true } [atribui(c, expInt(soma, ide(a), ide(b)))] { true }