implemented graph printing (dot format); discovered and fixed a bug regarding the bitset creation