add expr_creates_var tests where appropriate