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