Update warnings.

Update dialyzer analysis.
Remove execute/3.

Remove execute/3, because it wasn’t used and didn’t make sense.
Implement program behavior.

Implement a program behavior, which defines how programs should operate
and consume updated values and accumulator values.