Add idris_postulates to IBC.