Fix reduction w.r.t. memory types.

[bgregoir]

The memory type (in all hoare logic constructor) were not taken into account in conversion. The bounded memory where not substitued for alpha conversion ...