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