Library extensions for casesplit.
These are used by, but more general than, casesplit. Thus, they should be moved to more general libraries eventually.
