let access_expr  = ref (fun s exp -> !Db.Value.access_expr (Kstmt s) exp)