Assert: nonemptyStringVar ∈ nonempty string;