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