Fix cloning of statements. No need for updateReferencesOf to return Expr*. Improve tests.