bool is_killed(Value v) { if (is_global_value_numbering()) return _killed_values.contains(v); else return false; }
bool is_processed(Value v) { return _processed_values.contains(v); }