Binary Search Tree search (contains)

Storyboard

Unfold/Fold

Control Flow Skeleton

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

Input Storyboard file : bstsearch_sb.pl

Synthesized Implementation