[smart] fix array copy bug
[smart] If SIMULATION flags is specified, a 'static' validation is
applied.
The 'static' validation consists of ignoring validation of variable
that belongs to provide_ret.
[smart] A new section 'provide_ret' is added to replay file.

This section contains 2-uples that describes variables belonging to
provide_ret. The first item of the 2-uple is the xpath of the
variable, the second one is the xpath of the variable which will
provide the value at deployment time.