precond_dep_state =
PrecondAnnotTbl
.get_state kf