check the bodies of FunctionDecl's too