Utility tools for Ninf-G.