Annotated Flow Charts2