Prova:

{ true } [atribui(a, num(5)), skip] { ( 0 = 0 ) } { true } [atribui(a, num(5))] { true } { true } [skip] { ( 0 = 0 ) } { true } [skip] { true } ( true => ( 0 = 0 ) )

Sentenças a serem provadas:

( true => ( 0 = 0 ) )