precond_dep_state = PrecondAnnotTbl.get_state kf