Variable renaming in LinExpr.scaleint()