Prova:

{ true } [atribui(A, num(5))] { true }