bestpath() ?
encode() ?
equiv() ?
deterministic union ?
xerox-style property-savvy lookup()?
convert gfsmAutomatonFlags flags to 3-valued domain: unknown,true,false
add better checking & access for automaton status flags