let exp_zone stmt exp = !Db.From.find_deps_no_transitivity (Kstmt stmt) exp