let trivially_true = function
  | { Lang.value =
        Lang.Fun (_,_,_,{ Lang_values.term = Lang_values.Bool true }) } -> true
  | _ -> false