HomeIsabelle/Phabricator

performanc tuning: avoid exception overhead, potentially relevant for Sorts.