public AssignmentFlowNode(InstructionBlock theBlock) { this.CFGBlock = theBlock; this.NodeState = AssignmentNodeState.Unknown; this.Successors = new AssignmentFlowNode[theBlock.Successors.Length]; }