Don't update var-elim complexity of a variable that is already set

Thanks to Vegard Nossum for reporting this

fixes #57