added with-statements to the CFGConstruciont, changed the intro and added function decorators to limitations