Contract programming syntax

[bearophile]

Christopher Wright:
>Contracts cannot access the function's local variables, but it looks like they can.<

You are right, thank you.

Bye,
bearophile