Prova: { true } [skip, atribui(a, num(5))] { true } { true } [skip] { true } { true } [atribui(a, num(5))] { true }