Returns this
$option if it is nonempty '''and''' applying the predicate $
$option's value returns true. Otherwise, return $
the predicate used for testing.