Added test for the verifying of annotated methods: this is the core
funcionality of UnexpectedAccessDetector