ALGO(G,a,b,c,d)
INIT(G)
GT=trasposto(G)
dfs_visit(G,a,c1)
dfs_visit(GT,b,c2)
if c1[c]=n && c1[d]=n && c2[c]=n && c2[d]=n then
	return true
return false