public void AddArgument(BasicBlock predecessor, Value value)
{
predecessor.AssertNotNull(value);
value.Assert(value.Type == Type);
arguments.Add(value);
argumentBlocks.Add(predecessor);
}
