public IWeight Extend(Cmd cmd) { if (BoogieUtil.isAssumeFalse(cmd) || isZero) { return(new ConstantProp()); } if (cmd is HavocCmd) { return(ApplyHavoc(cmd as HavocCmd)); } else if (cmd is AssignCmd) { return(ApplyAssign(cmd as AssignCmd)); } else if (cmd is CallCmd) { return(ApplyCall(cmd as CallCmd)); } return(this); }