let get_precond_state = Dynamic.register ~plugin:"rte" "get_precond_state" (Datatype.func Kernel_function.ty State.ty) ~journalize:true PrecondAnnotTbl.get_state