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