Characteristic predicate SpinOnField::Empty::Empty

Empty()