ast->paths yields unique paths