public StatementList CallStringProcedure(BoogieMethod method, IVariable op1, IInmediateValue op2, BoogieVariable boogieVariable)
{
Contract.Assert(!(op2 is Constant c) || c.Value == null);
var arg1 = BoogieGenerator.Instance().ReadAddr(op1);
Expression arg2 = null;
if (op2 is Constant constant && constant.Value == null)
{
arg2 = BoogieGenerator.Instance().NullObject();
}
public ConditionalBranchInstruction(uint label, IVariable left, BranchOperation operation, IInmediateValue right, uint target)
: base(label, target)
{
this.Operation = operation;
this.LeftOperand = left;
this.RightOperand = right;
}