Clean Test
Implements toStringIndex
Implements sim which simplify graph by simulation relation