Added navigation including also foreign asts