Trying to implement Alejandro Perez's path coverage alg