Implemented rough taureachableWith method for LTS with GraphSearch. Not
really well tested.