change Reducer's method accessabillity
implement dot dumper
add --hide-state-name and --hide-edge-name options