Fix a test broken by its dependency on CMR version number
Fix #1345
Issue #1345: Add a test
Fix problem exposed by #1345 where we were not resetting ExpressionTransformer.backwardBranchWithUninitialized properly.