Added a test for checking reachability from method parameters or static fields.