public BasicBlockStatement(BasicBlockStatement predecessor) { if (predecessor != null) { predecessor.AddSuccessor(this); } }