makeNonEmptyBinary

Returns a new (deterministic) automaton that accepts all binary terms except the empty string.