Not all code can be checked statically. See the other child of the parent post for my example :)!