Made s2Vars simplify to size expressions when they represent static variables.