Don't copy data unecessarily
Don't copy data unecessarily

reachable_from_reach is not being used anymore, so it's faster to replace the
self.reach array with the already created reachable_from_reach array, rather
than copying all the data

befelix/SafeMDP,befelix/SafeMDP