More b_i_p, transitions => graphviz/dot, misc.