makeAnyBinary

Returns a new (deterministic) automaton that accepts all binary terms.