TODO Binary Search Tree right rotation

Storyboard

linked list insertion

Unfold/Fold

unfold and fold operations

Control Flow Skeleton

----------
while(-----)
{
  ----------
}
----------

Input Storyboard file : llinsert_sb.pl

Synthesized Implementation