reorganized location of functions chapter
added support for return checks for void functions