Moved Dino's code for instrumenting procedures to toplPreprocessor.ml