add an aglorithm telling wether a directed graph is semicoconnected
modify aglorithm telling wether a directed graph is semicoconnected