Statements/ModificationOfLocals.ql