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