../../ng_paramodulation/foUtils.ml