Fixed by modifying the test to be insensitive w.r.t. the name of generated fresh variable.