public bool HasSuccessors(params BasicBlockStatement[] blocks) { return _successors.Count == blocks.Count() && Array.TrueForAll(blocks, block => _successors.Contains(block)); }