lib_index(disp_bn, 1, any, disp_bn, disp_bn).
lib_index(bn_to_dot_dag, 3, any, disp_bn, bn_to_dot_dag).
lib_index(disp_bn, 2, any, disp_bn, disp_bn).