Definitional Trees : Coding Phase - Working on permutation sort example

I'm currently working on defining the definitonal tree of a Curry program to implement Permutation Sort This example has 4 operations of which I've implemented the first 2. I will be discussing and clarifying some doubts related to this example with my mentor soon, post which the new_compile procedure can be executed on it to test the same.

You can track me progress here