Move some general auxiliary functions to Aux.ml.