A04, refac
A04, continuing fixing CFG for return
A04, fixing return statement and infinte loop in CFG
A04, remove trailing lable for infinite loops in CFG
A04, adapt also for start node in CFG
A04, set instruction number in graph
A04, investigation of dominator and return