checkForAllInstructions was not handling declared functions correctly.
It should have been returning false when it gets called on a declared function.
The patch also fixes a test case for AAFunctionReachability for it to be able
to pass after the changes to the checkForAllinstructions.