(* Check no anomaly in info_trivial *)

Goal True.
info_trivial.