private AbstractStackState <VariabilityInfo> HandleStarg(ILInstruction ili, AbstractStackState <VariabilityInfo> pre, int index) { return(pre.AssignArg(index, pre[0]).Pop().UniqueSuccessor()); }