bug 1050: fix using old variable names while assuring