Method does a linear scan (however, it is only used in root-level simplification). Check if this is a performance issue.