Added IC for return statements and labels at the start of functions and main