Call-by-reference in the mu2rvm-execute pipeline; fix in the translation
of conditions.