Predicate DeadCode::getAMethodAccess

Expr getAMethodAccess(Method m)