Tracing a sucro program

More information about this example
List of Survo examples