Add first implementation of algY.pml