Factorize test.
Preserve the fixpoint of a selector (is it really useful?).