let get_state = PrecondAnnotTbl.get_state