Bug fix

fixed bugs with counting of vertex and its negate twice in composition, slp_vertices_num, graphviz_representation