topological sort in mpri lustre compiler tp + compiled example in report