Output for labelling
work list is properly initialized for mvp, fixed problem in intercontrolflow for labeling of recursive functions