Declarations/ClobberingVarInit.ql